Prof. Dr. Scient. Radu Mardare
Computer & Information Sciences
University of Strathclyde, Glasgow

Address: Livingstone Tower
26 Richmond Street
Glasgow G1 1XH, Scotland
Office: LT 1311 b
E-mail: r.mardare[at]strath.ac.uk
Phone: +44 7813549392

 

 

 

 

 

 

 

 

 

I am a professor at the Department of Computer & Information Sciences, University of Strathclyde. Prior to this, I was a Professor at Aalborg University (Denmark), researcher at the Microsoft Research CoSBi Centre (Italy) and researcher at the University of Trento (Italy).

I received my PhD in Computer Science, from University of Trento (Italy), with a thesis on Modal Logics for concurrent-distributed systems. I hold a MPhil (equiv.) in Logic with a thesis on Model Theory (Bucharest University, Romania), a BSc (equiv.) in Mathematics (“Al.I. Cuza” University, Iasi, Romania) with a thesis on Foundations of Mathematics, and a BSc (equiv.) in Philosophy (Bucharest University, Romania) with a thesis on Ontology of Mathematics.

Research topics of interest:
-- Mathematical foundations of Machine Learning and Artificial Inteligence
-- Quantitative algebraic reasoning
--Approximation theories for systems
-- 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

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