Qualifications andd Career History
Since Nov. 2018 -- Professor within the Distributed and Embedded Systems Unit, Department of Computer Science,
Aalborg University, Denmark.
March 2018 - Oct. 2018 -- Professor MSO within the Distributed and Embedded Systems Unit, Department of Computer Science,
Aalborg University, Denmark.
Oct. 2012 - Feb. 2018 -- Associate Professor within the Distributed and Embedded Systems Unit, Department of Computer Science,
Aalborg University, Denmark.
Oct. 2010 - Sep. 2012-- Sapere Aude Fellow within the Distributed and Embedded Systems Unit, Department of Computer Science,
Aalborg University, Denmark.
2006 - Sept. 2010 -- Researcher, The Microsoft Research CoSBi Centre, Trento, Italy.
2002 - 2006 -- PhD in Information and Communication Technology,
Department of Information and Communication Technology,
University of Trento, Italy.
Thesis: Logical analysis of complex systems. Dynamic-Epistemic Spatial Logics.
2001-2002 -- MPhil First Class (equiv.) in Logic, Faculty of Philosophy, Department
of Logic and Theoretical Philosophy,
Bucharest University, Romania.
Field: Model Theory and Foundations of Mathematics.
Thesis: The Liar Paradox in the context of Anti-Founded Model Theory (evaluated with grade 10
out of 10).
1997-2001 -- BSc First Class (equiv.) in Philosophy of Science, Faculty of Philosophy, Department of Logic and Theoretical Philosophy,
Bucharest University, Romania.
Field: Foundations and Philosophy of Mathematics.
Thesis: The Non-Wellfounded Set Theory: towards a new Ontology of Mathematics, (evaluated with grade 10 out of 10).
1993-1997 -- BSc First Class (equiv.) in Mathematics, Faculty of Mathematics,
Department of pure Mathematics,
"Al. I. Cuza" University, Iasi, Romania.
Field: Set Theory and Foundations of Mathematics.
Thesis: The Paradoxes of Set Theory (evaluated with grade 9.33 out of 10).
2002 -- Researcher, Mercury Research Institute, Bucharest, Romania.
2001-2002 -- Researcher, Daedalus Institute, Bucharest, Romania.
Grants, Scholarships and Awards
June 2015 -- DFF Forskningprojekt 2 awarded by The Danish Council for Independent Research.
Title: Approximate Reasoning for Stochastic Markovian Systems
Budget - DKK 5,573,494 = EUR 750,000.
May 2010 -- Individual Research Grant (Project 10-085054) awarded by The Danish Council for Independent Research.
Department of Computer Science, Aalborg University, Denmark.
Title: Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Budget - DKK 1,728,000 = EUR 233,000.
December 2010 -- Sapere Aude: DFF-Young Researchers Grant awarded by The Danish Council for Independent Research.
Department of Computer Science, Aalborg University, Denmark.
Budget - DKK 950,000 = EUR 128,000.
2009 -- Project partner, COOL: Coalgebras, Ontologies and Logic funded by the Engineering and Physical Sciences Research Council, UK.
Coordinator: Dr. Pattinson,
Imperial College, London, UK.
Budget - GBP 396,787.
2008 -- Visiting Scholar Award, in the program Bridging the Gaps,
Department of Pure Mathematics and Department of Computer Science, University of Sheffield, UK.
Coordinators: Dr.
Marian Gheorghe and Dr. Gheorg Struth.
2008 -- The paper A Multiset-Based Model of Synchronizing Agents: Computability and Robustness was ranked between
the 25 hottest papers in the journal Theoretical Computer Science.
2005-2006 -- Post-Doctoral Grant in the EU-IST project SENSORIA,
Department of Information and Communication Technology, University of Trento, Italy.
2002-2005 -- ATENEO Grant for doctoral studies,
Department of Information and Communication Technology, University of Trento, Italy.
1987-1993 --Various prices at the National Mathematics Olympiad of Romania.
1987-1992 -- Various prices at the Romanian National Contest of Mathematics "Traian Lalescu".
1986-1991 -- Various prices at the National Contest of Romanian Mathematic Revue.
1986-1991 -- Various prices at the Romanian National Contest of Mathematics "Gh. Vranceanu".