| since 09.2009 | Assistant Professor (tenure track), Kno.e.sis Center at Wright State University, Dayton, Ohio, USA.
|
| 04.2007-08.2009 | Akademischer Rat (Assistant Professor), Institute for Applied Computer Science and Formal Description Methods (AIFB), Universität Karlsruhe (TH), Germany.
|
| 12.2005 | Habilitation, subject Computer Science, TU Dresden, Germany.
Transfer of this Habilitation to Universität Karlsruhe (TH), Subject Applied Computer Science, took place 05.2007.
|
| 11.2005-08.2009 | Guest Researcher at Forschungszentrum Karlsruhe, Germany.
|
| 08.2004-03.2007 | Assistant Professor, Institute for Applied Computer Science and Formal Description Methods (AIFB), Universität Karlsruhe (TH), Germany.
|
| 10.2003-12.2003 | Research Associate, Department of Electrical Engineering and Computer Science, Case Western Reserve University, Cleveland, Ohio, USA.
|
| 02.2001-07.2004 | Postdoctoral Researcher, Artificial Intelligence Institute, TU Dresden, Germany.
|
| 09.2001 | PhD awarded. Title of the thesis: Generalized metrics and topology in logic programming semantics.
|
| 01.1999-01.2001 | PhD student and research assistant, Department of Mathematics, UniversityCollege Cork, Ireland.
Granted exception to shorten duration of PhD studies to two years.
|
| 12.1998 | Diplom in Mathematics, graded with distinction.
|
| 10.1994-09.1995 | ERASMUS exchange student at University College Cork, Ireland.
|
| 10.1992-12.1998 | Study of Mathematics and Computer Science at the Eberhard-Karls-Universität Tübingen, Germany.
|