Carnegie Mellon University
Computer Science Department
Gates-Hillman Center . GHC-9008
5000 Forbes Avenue
Pittsburgh, PA 15213
Phone: +1 412 268 7663
Fax: +1 412 268 5576
I am currently a Postdoc at Carnegie Mellon University, School of Computer Science, Logical Systems Lab. I was previously at NEC Labs, System Analysis and Verification Group, Princeton, New Jersey, USA. I was a Ph.D. in computer science at École Polytechnique (France), under the direction of Éric Goubault and Sylvie Putot.
I am on the academia job market this year [Curriculum Vitæ]
My research focuses on advancing and promoting the use of formal methods to design and analyze industrial-scale complex systems. My work is interdisciplinary, at the intersection of computer science, mathematics and software and control engineering.