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.