I am a research fellow working in the software engineering and programming languages department at the Heinrich-Heine-University in Düsseldorf, Germany. You can find general information on our research here. My personal subpage, including my lectures, can be found here.
Most of my work is centered around symbolic model checking techniques for high-level specification languages. Development usually takes places in ProB, a constraint solver and model checker for the B method. Recent publications can be found on the publication list, as well as on Google Scholar, dblp or Microsoft Academic.