Thomas Gazagnaire

I am Chief Technical Officier at OCamlPro since April 2011. Previously, I have been working as postdoctoral fellow at INRIA sophia-antipolis, in the INDES project and as senior software engineer at Citrix on the XenServer and Xen Cloud Platform softwares. I completed my Ph.D in 2008 at IRISA in the DistribCom project. I obtained my Master and Bachelor degrees from ENS Lyon and ENS Cachan-Bretagne.

Research

My research interests primarily involve the application of formal methods and functional programming languages to complex-system engineering problems. More generally, I have a wide range of research and application interests including:

• Cloud-computing;
• Distributed and concurrent systems;
• Verification (model-checking) of complex systems;
• Automatic fault-diagnosis and monitoring of complex systems;
• Application of functional programming to real-world problems;
• Compilation and optimization techniques;
• Partial-order theory.

I am doing most of my software developments in OCaml. My projects are hosted on github.