I am currently a PostDoc at the Mosel team in the Institut National de Recherche en Informatique et en Automatique (INRIA (LORIA), in Nancy, France), where I am employing the experience in proof theory acquired during my PhD in order to develop and improve proof formats for efficient SMT-solvers (such as VeriT), which could later be reconstructed and verified by trusted proof assistants (such as Isabelle).
In this website you can find a summary of my research activity, and more specifically of my publications; my talks; prizes, grants and scholarships that I have received; software projects in which I was involved; universities and research institutions where I studied; and conferences and workshops that I attended…
You can also find more about my research in my profile page at "academia.edu". For some information on what I do when I am not researching, visit my blog.
