Studium der Informatik in Dresden, Internationaler Masterstudiengang Computational Logic, Studienaufenthalt University of Auckland, Neuseeland, Erlangung des Grades Master of Science in Computer Science, Promotion an der TU Dresden, wissenschaftlicher Mitarbeiter TU Dresden
