Présentation brève

Je suis chargé de recherche au Centre Inria de l'Université de Lille et Professeur chargé de cours 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