Radu Mardare is **Professor** **(MSO)** at the Department of Computer Science, Aalborg University, Denmark, within the Distributed and Embedded Systems Unit.

Prior to this, he was an **Associate Professor** and a **S****pere Aude Fellow ** at the Department of Computer Science, Aalborg University (Oct. 2010 - Sep. 2012), **Researcher** at the Microsoft Research CoSBi Centre in Trento, Italy (Oct. 2006 - Sep. 2010) and **postdoctoral researcher** at the Department of Information Technology, University of Trento, Italy (April 2006 - Sep. 2006).

Radu Mardare received his** PhD in Computer Science** in March 2006, from University of Trento (Italy), with a thesis on Modal Logics for concurrent-distributed systems. Mardare holds a **MPhil (equiv.) in Logic** with a thesis on Model Theory (2002, Bucharest University, Romania). He holds two **BSc (equiv.) degrees**: one in **Mathematics** (1997, “Al.I. Cuza” University, Iasi, Romania) with a thesis on Foundations of Mathematics, and one in** Philosophy** (2001, 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

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