As a Postdoc and Computer Scientist at the University of Paderborn, I research and teach in the area of logic and knowledge-based systems. This includes challenging theory, but also efficient programming and applications in verification, in particular model checking. My work also involves machine learning and artificial intelligence (AI) in general. Furthermore, I am interested in quality assurance and project management in software engineering, and I am also experienced in internet technologies and computer security.
I finished my PhD in computer science in 2009 at the University of Paderborn with highest distinction "summa cum laude" and have been a fellow of the International Graduate School "Dynamic Intelligent Systems" established by the German state of North Rhine-Westphalia. I have also studied two years in the US and graduated with a Master of Science in computer science from San Diego State University with a perfect 4.0 GPA.
Throughout my bachelor and master studies, I have been distinguished with a fellowship from the German National Merit Foundation. I have also received awards and prizes in national and international computer science competitions. In particular, I have been a member of the German national team at the International Olympiad in Informatics IOI 1996 and the Central European Olympiad in Informatics CEOI 1997 and won a bronze medal at the latter.
Recent Activities
- IT Consulting on Data Mining and Knowledge Management (Spring 2012)
- Program Committee member of the international conference SAT 2012 (Theory and Applications of Satisfiability Testing) in Trento, Italy
- Judge at the international research competitions QBFEVAL 2010 and 2012
- Co-organizer of the international conference SAT 2008 in Guangzhou, China
- Member of the state examination board in North Rhine-Westphalia for teacher candidates in computer science (since 2009)
- Treasurer and member of the steering committee in the OWL regional division of the German National Merit Foundation Alumni Association (since 2011)
Further information can be found in my XING Profile (in German) and on my old homepage.
