I am currently a Research Associate in the Multicore Programming Group at Imperial College London. Before that, I prepared my PhD in the direction of Frédéric Lang, in the Team CONVECS of INRIA / LIG in Grenoble, France. I graduated from Ensimag (French "Grande Ecole" dedicated to computer science) in 2012 with a semester abroad at the Graduate School of Informatics of Kyoto University.
My thesis is entitled Automatic Distributed Code Generation from Formal Models of Concurrent Asynchronous Processes: I developed the DLC compiler that generates a distributed implementation made of several executables from a formal model of concurrent non-deterministic processes interacting by mutliway-rendezvous, expressed in the LNT specification language.
See the list on DBLP and on the HAL open archive.