I am a logician with a background is in Computer Science, Mathematics  and Philosophy of Science.

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

Contact:

School of Mathematics & Computer Sciences
Heriot-Watt University
Address: Earl Mountbatten Building
First Gait, Edinburgh EH14 4AS, Scotland
Office: EM 1.33
E-mail: R.Mardare[at]hw.ac.uk

Website: https://www.macs.hw.ac.uk/~rm4023/