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:
Mardare's research focuses on logics for concurrent and distributed systems and includes interests for non-deterministic, probabilistic, stochastic and hybrid systems. Such systems are frequently modular in nature, consisting of parts (modules) which are systems in their own right and their global behaviours depend on the behaviours and the topologies of their modules. Mardare's research aims at developing a logical framework that allows organising qualitative and quantitative properties of systems in hierarchical, modular structures, thereby proving global properties from the local properties of modules.

Mardare is also interested in the underlying mathematical structures shared by the various paradigms and theories of (computational) systems. The roles of the universal algebras and coalgebras are central in this context, being in the same time the link towards the general theories and logics.

Research topics of interest:
-- Modal Logics, Mu-Calculus, Dynamic Logic, Epistemic Logic, Temporal Logics
-- Hennessy-Milner Logic, Spatial and Ambient Logics, Equational and Co-equational Logics
-- Process Algebras (nondeterministic, probabilistic and stochastic), Structural Operational Semantics
-- 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