CURRICULUM VITAE

Qualifications andd Career History

Since October 2012 -- 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
                                 Colaborators: Prof. Kim G. Larsen (Aalborg).
                                 Budget - DKK 5,573,494. 

      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
                                 Colaborators: Prof. Kim G. Larsen, Prof. Arnie Skou (Aalborg) and Prof. Luca Cardelli (Microsoft Reserach Cambridge, UK).
                                 Budget - DKK 1,728,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.

           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".