Mihai Codescu
Mihai Codescu

Institutul de Matematică "Simion Stoilow"
Calea Griviţei 21, Bucureşti 014700, ROMÂNIA.
Email: Mihai.Codescu@imar.ro

About me

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.