|
Contact
Institutul de Matematică "Simion Stoilow" |
I am a postdoctoral researcher in the project PN-III-P2-2.1-PED-2016-0494
at
Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR),
led by
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.
My ResearchGate profile is here. Also see my DBLP list of publications.