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.

In the last 5 years I've been involved with two academic research projects, Cduce and Mancoosi founded by European community at the university Paris Direrot (Paris 7), laboratoire PPS. Recently I have joined 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.