In January 2017, I will be joining the Département d’informatique et de recherche opérationnelle (DIRO – Department of Computer Science and Operations Research) of the Université de Montréal as an assistant professor, member of the GEODES Software Engineering Research Group.
I am looking for students! I work to create formal but practical techniques and methods for engineering software. To do this, I draw from disciplines such as formal verification, model-based engineering, and empirical methods. I study the context of software development and create novel techniques that use domain-specific abstractions that are supported by rigorous automation. Take a look at my previous work and if all that sounds interesting to you, contact me!
Until recently, I was a postdoctoral fellow in the Software Practices Lab at the University of British Columbia, working with Gail Murphy. I completed my PhD in Computer Science from the University of Toronto in January 2016, under the supervision of Marsha Chechik. I have a DiplEng in Electrical and Computer Engineering (ece@ntua) and an MSc in Computer Science (dcs@uoft).