Royal Institute of Technology

Post-Doc, CSC

About

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 Information