About

About Me

I received my Ph.D. in Computer Science from the Australian National University (ANU) in 2006 focusing theoretical computer science. During my Ph.D. I developed the Tableau WorkBench, a generic theorem prover that is both easy to use and flexible accepting specification in different formats. The TWB has been used to experiment with a number of modal logics and in particular with fix-point logics.

Since the end of my Ph.D. I’ve been involved with many academic research projects at The University Paris Direrot (Paris 7), laboratoire PPS.

  • Cduce
  • Mancoosi founded by European community.
  • Dorm

I’m Part of the INRIA team Gallium and of the the Center for Research and Innovation on Free Software (IRILL). I’m a strong supporter of the Debian project (despite I never officially joined it ).

My current academic interests are software engineering, theorem proving, functional programming, modal logic. My focus at the moment is on open source and in particular in relation to quality assurance aspects of software distribution and component based system.

Detailed CV on request.