AIFB Karlsruhe — DBLP — Facebook — LinkedIn — XING — StudiVZ      2B00F5B4

• 1995 – 2000 studies for high school teaching (mathematics/physics/computer science), Dresden University
• 2000 – 2003 scholarship holder “Graduiertenkolleg 334”, Dresden University
• 2003 – 2005 research assistant at the chair for Psychology of Teaching and Learning, Dresden University
• 2006 dissertation in Mathematics (Dr.rer.nat.) at the Institute for Algebra, Dresden University
• 2006 – 2008 postdoctoral researcher at AIFB, University of Karlsruhe (TH)
• 2008 – 2013 assistant professor (project leader) at AIFB, University of Karlsruhe (TH)
• 2009 (January – March) visiting researcher at the Oxford University Computing Laboratory (DAAD scholarship)
• 2009 (November) visiting researcher at the Institute of Information Systems, Vienna University of Technology
• 2010 (February – March) visiting researcher at the Knowledge Representation and Reasoning group at LIRMM in Montpellier
• 2011 (March – April) visiting researcher at the Graphs for Inferences on Knowledge group at LIRMM in Montpellier
• 2011 (July) habilitation in Computer Science and appointment as “Privatdozent” (PD Dr. rer. nat.)
• 2012 (March) visiting professor at the Logical Information Systems group at IRISA in Rennes
• since 2013 full professor for Computational Logic at the Technical University of Dresden