I am a professor at the Department of Computer & Information Sciences, University of Strathclyde, Glasgow, Scotland. Prior to this, I was a Professor and at Aalborg University, Denmark, researcher at the Microsoft Research CoSBi Centre in Trento, Italy and researcher at the University of Trento, Italy.

I received my ** PhD in Computer Science** in March 2006, from University of Trento (Italy), with a thesis on Modal Logics for concurrent-distributed systems. I hold a **MPhil (equiv.) in Logic** with a thesis on Model Theory (Bucharest University, Romania), a **BSc (equiv.) in** **Mathematics** (“Al.I. Cuza” University, Iasi, Romania) with a thesis on Foundations of Mathematics, and a **BSc (equiv.) in Philosophy** (Bucharest University, Romania) with a thesis on Ontology of Mathematics.

Research topics of interest:

-- Modal Logics, Mu-Calculus, Equational and Co-Equational Logics

-- Structural Operational Semantics, Algebraic effects

-- Dualities with applications in Logics and Model Theory

-- Topological methods for Model Theory

-- Metric semantics for Quantitative Systems (probabilistic, stochastic, weighted, timed)

-- Markov processes and Markovian logics

-- Coalgebras and Coalgebraic Logic, Theories of Bisimulation

-- Non-Wellfounded Set Theory, mathematical models for circular and self-referential phenomena

-- Philosophy and Foundadations of Mathematics, Formal epistemology

.................