This is a legacy website maintained by the Max Planck Institute for Software Systems. It was last updated on April, 2010.

Please visit my personal research page for up to date information and my current affiliation.

Contact details


I’m currently working as a visiting researcher at the Chair for Foundations of Software Reliability and Theoretical Computer Science under the supervision of Andrey Rybalchenko. The focus of our research is the design and verification of rule-based programs. My research interests also include formalization of mathematics and, casually, online social networks.

Previously, I had a postdoctoral stay for two years at the Max Planck Institute for Software Systems, where I worked at the Verification Systems group leaded at the time by Andrey Rybalchenko.

I obtained my PhD degree from the School of Computer Science at The University of Manchester. There, I formed part of the Formal Methods group having Andrei Voronkov as my supervisor and Renate A. Schmidt as my adviser. My research topic dealt with effectively propositional theorem proving (a finite domain fragment of first order logic), being its main focus the characterisation of applications that can be encoded using this logic formalism. You can read a summary of my first year of PhD studies, a short report of my second year, the document of my PhD thesis or, for more details, my list of publications.

Formerly I worked at a research group on Answer Set Programming leaded by Mauricio Osorio at Universidad de las Américas Puebla in México. We obtained several interesting results relating intuitionistic, multivalued and modal logics with the notion of answer sets. Visit the site of the group for more information.

You can also review my complete list of publications in this and other areas, or have a look at my cv.