About me


I am an Assistant Professor of Computer Science at IT University of Copenhagen, Denmark. I obtained the doctoral degree at INRIA — Rennes, France, following which I did a postdoc at University of California, Davis, USA. Earlier, I received a B.S and an M.Eng degree from École Polytechnique, France.


My primary research interest lies in approaching software engineering problems from a mathematical or programming language perspective.  A particular category of such problems is numerical code analysis, on which I have developed satisfiability solving and automated testing tools that outperform the state-of-the-art significantly.  I have published broadly in top-tier Programming Language and Software Engineering venues,  including PLDI, CAV, OOPSLA. ICSE, ESOP, and VMCAI. I also served as a co-PI for an NSF (National Science Foundation)-funded project and an NSF panelist in 2016 and 2017.

Recently, I have been involved in ROSIN, a project funded by the European Union’s Horizon 2020 research program. Our high-level goal is to create a step change in the availability of high-quality intelligent robot software components for the European industry.