I am currently looking for a post-doctoral position (or other type of position), in the domains of language semantics, program analysis, monitoring, compilation and/or security, somewhere in the world (would consider the moon in case of outstanding benefits :-) ).

Who am I?

I am a young researcher interested in language semantics, program analysis and compilation. My work focuses on the development of techniques and tools for the generation and verification of safe programs with regard to information flow security.

Since October 2007, I am a post-doc at the Microsoft Research-INRIA Joint Centre in Paris. I am working with Cédric Fournet and Tamara Rezk in the project Secure Distributed Computations and their Proofs.

In September 2007, I defended my PhD thesis in computer science. This PhD was a cooperation (joint-PhD) between Université de Rennes 1 (France) and Kansas State University (USA). The work in France was accomplished under the direction of Thomas Jensen in the Lande project at IRISA. In the USA, the PhD research was supervised by David Schmidt and Anindya Banerjee in the Computing and Information Sciences department.

Contact

Address : Centre de Recherche Commun INRIA-Microsoft Research, Parc Orsay Université 28, rue Jean Rostand 91893 Orsay Cedex France

E-mail : Tel : (+33) 1 69 35 69 90 Fax : (+33) 1 69 35 69 69