Professor Radu Mardare
Computer & Information Sciences,
University of Strathclyde, Glasgow

Address: Livingstone Tower,
26 Richmond Street,
Glasgow G1 1XH, Scotland
E-mail: r.mardare[at]
Phone: +44 7813549392










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