Education

2004 Habilitation in Computer Science, Saarland University, Saarbrücken.

1992-1997 PhD studies, RISC-Linz, Johannes Kepler University, Linz, Austria.
PhD thesis: “Fibered structures and applications to automated theorem proving
in certain classes of finitely-valued logics and to modeling interacting systems”(May 7, 1997)
Grade 1.0 (the best grade in Austria); Rigorosum passed with distinction.

1991–1992 Specialization year (in Algebra) at the Faculty of Sciences, Lisbon, Portugal.
All exams passed with grade 20 (from a maximum of 20).

1987–1988 Specialization in Computer Science and Algebra, University of Bucharest, Romania;
Grade: 10 (from a maximum of 10).
Specialization thesis: “Modal algebras and rewriting algorithms”.

1983–1987 Diploma study in Computer Science: University of Bucharest, Romania, 1987;
Diploma thesis: “Automated theorem proving. The Knuth-Bendix algorithm and some extensions”;
Grade: 10 (from a maximum of 10).

Positions:

since September 2011: Professor for “Formal Methods and Theoretical Computer Science”, University
Koblenz-Landau (Campus Koblenz), Germany.

September 2011-December 2015: Part time Senior Researcher, Max-Planck-Institut für Informatik, Saarbrücken.

1999–2011 Researcher, then Senior Researcher and Coordinator of the reserch area
“Reasoning in Complex Theories”, Max-Planck-Institut für Informatik, Saarbrücken, Germany.

Winter semester 2004/2005 Guest professor at the University Trier
(Vertretung einer W3 Professur, Chair of Theoretical Computer Science and New Applications).

1997–1999 Postdoctoral fellowship, Max-Planck-Institut für Informatik, Saarbrücken, Germany.

May–October, 1997 Postdoc at RISC-Linz, Austria.

October 1992– May 1997 Ph.D student & research assistant at RISC-Linz, Johannes Kepler University, Linz, Austria.

1991–1997 Research and teaching assistant, University of Bucharest, Romania (’92-’97: on leave).

1990–1991 Analyst-Programmer at ICSITPSCM
(The Institute for Scientific Research for Machine Construction and Metallurgy), Bucharest, Romania.

1988–1990 Obligatory stage as teacher at the High School Nr.5, Resita, Romania.