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.
- PC member of WADT 2016
- PC chair and member of the organisation committee of WADT 2014
- PC member and member of the organisation committee of WADT 2010
- reviewing for:
- journals: Fundamenta Informaticae, Information Sciences, Information and Computation, Journal of Logic and Algebraic Programming (JLAP), Journal of Logic and Computation (JLC), Logical Methods in Computer Science (LMCS), Mathematical Structures in Computer Science (MSCS), Theoretical Computer Science (TCS), Knowledge-Based Systems (KNOSYS)
- conferences and workshops: International Semantic Web Conference (ISWC), International Joint Conference on Artificial Intelligence (IJCAI), International Conference on Principles of Knowledge Representation and Reasoning (KR), European Conference on Artificial Intelligence (ECAI), European Semantic Web Conference (ESWC), International Conference on Algebraic Methodology and Software Technology (AMAST), EACSL Annual Conferences on Computer Science Logic (CSL), Conference on Algebra and Coalgebra in Computer Science (CALCO), International Symposium on Frontiers of Combining Systems (FROCOS), International Workshop on Algebraic Development Techniques (WADT)