As a Postdoctoral Researcher at the University of Paderborn, I am conducting research and teaching 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 includes 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 Northrhein-Westfalia. 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

• 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 Northrhein-Westfalia for teacher candidates in computer science
• Treasurer and member of the steering committee in the OWL regional division of the German National Merit Foundation Alumni Association.

Further information can be found in my XING Profile (in German) and on my old homepage.