Institutul de Matematică "Simion Stoilow"
I am a postdoctoral researcher in the project PN-III-P2-2.1-PED-2016-0494
Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR),
Prof. Dr. Razvan Diaconescu.
Before that I worked as a postdoctoral research assistant (Oct. 2015 - Sep. 2016) in the European FP7 project COINVENT at the KRDB Research Center of the Free University of Bozen-Bolzano, under the supervision of Dr. Oliver Kutz.
I was a researcher (Nov. 2013 - Mar. 2015) at the Chair for Theoretical Computer Science - Formal methods and Semantics of Otto-von-Guericke University of Magdeburg, headed by Prof. Dr. Till Mossakowski. I also worked at the Chair of Theoretical Computer Science in Erlangen (Nov. 2012 - Nov. 2013), headed by Prof. Dr. Lutz Schröder, in the DFG-funded project FormalCAD - Formal Methods and Semantic Technologies for Engineering Design Processses.
I received my PhD from the University of Bremen with a thesis entitled "Architectural Refinement in HETS" (defended August 2012, published March 2013), supervised by Till Mossakowski and refereed by Prof. Dr. Andrzej Tarlecki.
In 2007 I obtained a M.Sc. in algebraic specifications from the Informatics Department of Şcoala Normală Superioară Bucureşti, Romania, with a thesis on model theory of higher-order logic with Henkin semantics, supervised by Dr. R. Diaconescu.