Hugues Evrard

See my up-to-date personal homepage at:


I am a young researcher in Computer Science, I focus on formal methods and concurrent systems.

I prepared my PhD within he CONVECS team (associated to Inria and LIG) from March 2012 to July 2015, under the direction of Frédéric Lang. From April 2016 to July 2016, I am back in CONVECS as an expert engineer to work mainly on improving network support for tools of CADP.

Thesis Overview

During my PhD, I worked on the generation of distributed implementation from formal models of concurrent systems. In a nutshell, I developed the DLC compiler that takes a formal specification of concurrent processes as an input, and produces several programs that can be distributed on distinct machines as an output.

Thesis manuscript: Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones (Automatic Distributed Code Generation from Formal Models of Concurrent Asynchronous Processes)


After the summer of 2016, this page may not be updated, please check