I am a post-doc researcher in the Constraint Reasoning group at Microsoft Research Cambridge. My research interests are dynamic and static program analysis, software testing, program correction and specification mining and machine learning. I'm currently working on a PowerPoint research project, which tries to suggest new slide contents to improve user productivity.
I finished my PhD in 2012 at Chair of Software Engineering, ETH Zurich, under the supervision of Prof. Bertrand Meyer. During my PhD, I worked on automated software testing and correction.