Radu Mardare

Radu Mardare is a Professor in the School of Mathematical & Computer Sciences at Heriot-Watt University, specializing in Computer Science. His research focuses on the mathematical foundations of computer science, with particular emphasis on logic, algebraic reasoning, and probabilistic systems.

His research interests include:

• Quantitative algebraic reasoning and approximation theories
• Modal logics, μ-calculus, and coalgebraic logic
• Metric semantics for quantitative systems (probabilistic, stochastic, timed)
• Markov processes and Markovian logics
• Non-wellfounded set theory and formal epistemology

Recent work emphasizes behavioral metrics, probabilistic bisimilarity, and formal verification techniques for stochastic systems. His contributions bridge theoretical computer science with foundational mathematics, addressing challenges in both formal semantics and applied probability.

His articles explore topics like quantitative logics, Markov chain analysis, and the integration of algebraic methods into probabilistic frameworks. Notable contributions include axiomatizations for bisimilarity distances and frameworks for analyzing timed semi-Markov processes.

Radu’s work has advanced the theoretical underpinnings of computer science, with applications in formal verification and probabilistic system modeling.