Thomas Gazagnaire

I am a Senior Research Associate at the University of Cambridge where I work on distributed systems and functional programming. I am one of the main authors of the the Mirage operating system library and the Irmin distributed store. Before that, I was Chief Technical Officier at OCamlPro where I designed and lead the implementation of OPAM and Principal Virtualisation Engineer at OnApp.

I was also a postdoctoral fellow at INRIA sophia-antipolis, in the INDES project and a Senior Software Engineer at Citrix, working on XenServer. 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 Rennes.

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.

Open Positions

I am looking for students interested to work on any project related to Mirage. Ideal profiles: master in CS, with a taste of formal methods and a strong interest in Functional Programming and/or Operating System. Please send a resume (CV) and a motivation letter.


thomas@gazagnaire.org

Contact

FN14, Computer Laboratory,
University of Cambridge,
15 JJ Thomson Avenue,
Cambridge CB3 0FD, UK

Links

  • A 2048 Tutorial in OCaml.
  • Various slides on Mirage and Irmin.