![[FSF Member]](/_img/fsf-member-7975.png)
Welcome!
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
- Discrete Controller Synthesis Algorithms;
- Verification & Test of Deep Neural Networks (not published yet);
- Reactive Control Techniques, Models and Programming Languages for Systems Design;
- Global Control for Resource and Energy Management; Operating Systems Design and Implementation.
Curriculum
You can check out my CV: 
.
Public Key
- FE6BA738: fingerprint F868 7218 B28B 96B5 CABF D50E 86E0 D825 FE6B A738
![[XHTML 1.0]](/_img/logo-xhtml-1.0.png){kind=logo}
![[CSS 3]](/_img/logo-css.png){kind=logo}