Radu Mardare, PhD
Radu Mardare, Logical Anaysis of Complex Concurrent Systems, LAMBERT Academic Publishing, 2010, ISBN 978-3838388984
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.
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: