About me


I am an Assistant Professor in Computer Science at the IT University of Copenhagen, Denmark.  Earlier, I graduated from Ecole Polytechnique, France, received my PhD from the French Computer Science lab INRIA, and then I did a postdoc at University of California, Davis in the United States.


My primary research interest lies in rigorous mathematical and programming languages approaches for tackling important software engineering challenges. Recently, I am working on static analysis and automated testing of  high-quality intelligent robot components for the industry.