Welcome to my Web Page!
I am a computer scientist currently acting as head of the research group "Verification meets Algorithm Engineering" at the Institute for Theoretical Computer Science of Karlsruhe Institute of Technology, Germany. Before that, I have been a member of the Symbolic Comptuation Group at the University of Tübingen, Germany and the Institute for Formal Models and Verification at the Johannes Kepler University Linz, Austria. I studied computer science and physics at the Eberhard Karls University Tübingen, Germany, where I gratuated with a PhD (Dr. rer. nat.) in computer science.
My professional interests include SAT Solving (especially industrial applications, parallel SAT algorithms, and visualization of SAT instances), Product Configuration (modeling and verification issues), and Software Verification (bounded model checking).
Over the last years, I have also been working on different industry projects on software verification and product configuration with DaimlerChrysler, IBM, Siemens, and T-Systems.