Section: Other Grants and Activities

European actions

Collaboration with Microsoft

In 2006, we started to work at the Microsoft Research-INRIA Joint Centre in a common project with Cédric Fournet (MSR Cambridge), Gilles Barthe, Benjamin Grégoire and Santiago Zanella (INRIA Sophia-Antipolis). The project is named Secure Distributed Computations and their Proofs and deals with security, programming languages theory and formal proofs. This work was still under active collaboration within all year 2009. In October 2009, he project has been renewed for next 3 years (2010-2012).