I'm currently a PhD. candidate at the SMV Group at the University of Geneva. My main occupation within the group is to perform research for my PhD thesis and to teach two masters courses: "Advanced Formal Tools" and "Concurrence et Répartition". My research is ocused on using term rewriting systems and decision diagrams to harness the well known state explosion problem in model checking. Other research interests include Domain Specific Languages, model checking tools and testing.
I also do some work as a system administrator to support our development infrastructure.