Radu Mardare, Dr. Scient., PhD
Professor MSO ,
Department of Computer Science,
Aalborg University, Denmark

Office: 1.2.38
Address: Selma Lagerlöfs Vej 300,
DK-9220 Aalborg, Denmark
E-mail: mardare[at]cs.aau.dk
Phone: +45 9940 8913

Mobile: +45 5032 2393
Fax: +45 9940 9798








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 Spere 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