
Researcher at University of Koblenz-Landau
Bonn Area, Germany

Researcher at University of Koblenz-Landau
Bonn Area, Germany
1 more...
(Educational Institution; 1001-5000 employees; Research industry)
May 2008 — Present (1 year 8 months)
PhD , Information Management, Software Engineering , 2004 — 2008
MSc , Telematics , 2002 — 2004
Graduated with Honours (met lof, cum laude). The Master's Thesis topic was "Combinatorial Test Set Generation: Concepts, Implementation, Case Study", the supervisors were Prof.dr. Ed Brinksma and Dr. Ralf Lämmel.
MSc , Applied Mathematics, Computer Science , 1998 — 2003
Graduated with Honours (красный диплом, cum laude). Master's Thesis topic was "Modelling and Model Checking of Distributed Systems", supervisor's name was Dr. Alexander N. Litvinenko.
GTTSE 2009, SCAM 2010