Wrapped up my PhD and joined Carnegie Mellon in Silicon Valley

I successfully defended and wrapped up my PhD! Yaaaay!

Big thanks goes to my advisor Alan Hu, committee members Mark Greenstreet and Ken McMillan, university examiners Gail Murphy and Karthik Pattabiraman, as well as my external examiner Ranjit Jhala. The final version of my PhD thesis is available online and can be found here.

Soon after I wrapped up my PhD, I joined Carnegie Mellon University in Silicon Valley as a postdoctoral fellow. Here I am working on a NASA-funded project and collaborating with Dimitra Giannakopoulou and Vishwanath Raman. The goal of the project is improving coverage of testing and checking of NASA’s air traffic control system using compositional techniques. I am sure that lots of challenging and exciting work is ahead of me!