| 09/1990-06/1998 |
National College in Iasi, Romania |
| 07/1998 |
Baccalaureate (Abitur) |
| 10/1998-06/2002 |
Bachelor Studies at Faculty of
Computer Science, "Al. I. Cuza" University of Iasi, Romania |
| 07/2002 |
BSc Degree, Thesis title “Decidability
and Complexity of Petri Net Problems” |
| 10/2002-06/2003 |
Master Studies at the Faculty
of Computer Science, "Al. I. Cuza" University of Iasi, Romania |
| 07/2003 |
MSc Degree, Thesis title “Model
Checking Petri Nets” |
| 10/2003-06/2004 |
Researcher at the Faculty of
Computer Science, "Al. I. Cuza" University of Iasi, Romania |
| 07/2004-07/2008 |
PhD Studies at the Eindhoven
University of Technology, The Netherlands |
| 06/2006 |
Member of the B.E.S.T Berlin,
Rostock, Eindhoven Service Technology Program |
| 12/2007 |
PhD Degree, Thesis title “Verification
of Soundness and Other Properties of Business Processes” |
| 07/2008 |
PostDoc at the Chair of Theory
of Programming Languages and Programming of the Institute of Informatics
at the University of Rostock in the project "Adapter Synthesis" supported
by Deutsche Forschungsgemeinschaft (DFG) |