Projects per year
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
Projects
- 2 Active
-
A correct-by-construction approach to approximate computation
Mardare, R., Ghani, N. & Nordvall Forsberg, F.
EPSRC (Engineering and Physical Sciences Research Council)
1/11/23 → 31/10/27
Project: Research
-
Maths DTP 2020 University of Strathclyde | Capucci, Matteo
Ghani, N., Mardare, R. & Capucci, M.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/20 → 1/10/24
Project: Research Studentship - Internally Allocated
-
Tensor of quantitative equational theories
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., 3 Sept 2021. 29 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile18 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 proceeding › Conference contribution book
Open AccessFile5 Citations (Scopus)7 Downloads (Pure)
Prizes
-
-
Doctor Scientiarium of University of Aalborg, Denmark.
Mardare, Radu (Recipient), 2016
Prize: Honorary degree
Activities
-
International Workshop on Quantitative Logics, QUALOG 2023 (Event)
Radu Mardare (Editorial board member)
Jun 2023Activity: Publication peer-review and editorial work types › Membership of peer review panel or committee
-
On the Challenges of Quantitative Reasoning
Radu Mardare (Invited speaker)
Jun 2023Activity: Talk or presentation types › Invited talk