Personal profile

Personal Statement

Research Director, Computer & Information Sciences, University of Strathclyde 2020-2023

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

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
  • Tensor of quantitative equational theories

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., 3 Sept 2021. 29 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    File
    30 Downloads (Pure)
  • Fixed-points for quantitative equational logics

    Mardare, R., Panangaden, P. & Plotkin, G., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Piscataway, NJ: IEEE, Vol. 1. p. 1-13 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    5 Citations (Scopus)
    15 Downloads (Pure)