Radu Mardare, Dr. Scient., PhD
Associate Professor,
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 Associate Professor at the Department of Computer Science, Aalborg University, Denmark, within the Distributed and Embedded Systems Unit.

Prior to this, he was 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