Présentation brève

Je suis chargé de recherche au centre INRIA Lille – Nord Europe et chargé d'enseignement à temps partiel au Département Informatique de l'École polytechnique. J'ai obtenu un Master en Mathématiques à l'Université de St. Pétersbourg (Russie, 1998), un DEA (Master recherche) en Informatique à l'Université Paris 6 (DEA Algorithmique; France, 2001) et un Doctorat en Informatique à l'École Polytechnique (France, 2006). Avant de rejoindre INRIA en 2017, j'ai été pendant deux ans post-doc au Verimag (Grenoble, France) avec Joseph Sifakis travaillant sur la sémantique formelle de BIP, puis pendant trois ans ingénieur-chercheur au CEA Saclay (France) et six ans Collaborateur scientifique à EPFL (Lausanne, Suisse).

Dernières actualités