Skip to main navigation Skip to search Skip to main content
Radu Mardare

View Scopus Profile

Radu Mardare

Prof., Dr. Scient., PhD, Professor

  • Riccarton

    EH14 4AS Edinburgh

    United Kingdom

20042026

Research activity per year

Personal profile

Research interests

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/

Fingerprint

Dive into the research topics where Radu Mardare is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Interpreting Lambda Calculus in Domain-Valued Random Variables

    Furber, R., Mardare, R., Panangaden, P. & Scott, D., 18 Feb 2026, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Guerrini, S. & Konig, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 48. (Leibniz International Proceedings in Informatics; vol. 363).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    12 Downloads (Pure)

  • Quantitative Equational Logic

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 11 Aug 2026, In: Journal of the IEST. 73, 4, 26.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    5 Downloads (Pure)

  • Rational Lawvere Logic

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., 24 Feb 2026, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Guerrini, S. & Konig, B. (eds.). LIPIcs, CSL2026 ed. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 363. 3. (Leibniz International Proceedings in Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    1   Link opens in a new tab Citation (Scopus)
    10 Downloads (Pure)

  • Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432)

    Konig, B., Mardare, R., Panagaden, P., Rot, J. & Clerc, F., 23 Apr 2025, In: Dagstuhl Reports. 14, 10, p. 58-75 18 p.

    Research output: Contribution to journal › Meeting abstract › peer-review

    Open Access
    File
    6 Downloads (Pure)

  • Metric Equational Theories

    Mardare, R., Ghani, N. & Rischel, E., 17 Sept 2025, In: Electronic Proceedings in Theoretical Computer Science. 428, p. 144-160 17 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    File
    1   Link opens in a new tab Citation (Scopus)
    47 Downloads (Pure)
View all 82 research outputs