I am currently a Senior Software Engineer at OCamlPro.

Before December 2021, I was a Research Associate in the Departement of Computer Science of the University of Liverpool. I received my PhD in Computer Science at the Université Grenoble Alpes, where I was a member of the Synchrone team at the Verimag laboratory. I have also been a postdoctoral fellow in the SUMO team at INRIA Rennes - Bretagne Atlantique.

I present on these pages my research (past and present) and teaching activities, as well as related tools I developped, and maintain here an OPAM repository easing the installation and usage of some of these tools.

I also expose a pedagogic video-clip I have produced in 2010, with three other PhD students from Grenoble. It illustrates a frequently used reasoning bias called the "Pangloss" effect, by means of some examples involving such errors.

Academic Research Interests


You can check out my CV: here.

Public Key