Mihai Codescu
Mihai Codescu

Dominikanerplatz 3 - piazza Domenicani, 3
39100 Bozen-Bolzano
Tel: +39 0471 016151
Email: Mihai.Codescu@unibz.it

About me

I am a PostDoc in the KRDB Research Center of the Free University of Bozen-Bolzano. I am working in the European FP7 project COINVENT. Before that, 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 Till Mossakowski. I also worked at the Chair of Theoretical Computer Science in Erlangen (Nov. 2012 - Nov. 2013), headed by 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 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 R. Diaconescu.

Teaching in Magdeburg


My ResearchGate profile is here. Also see my DBLP list of publications.