Professor Radu Mardare

Computer and Information Sciences

Contact

Personal statement

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

Back to staff profile

Publications

Propositional Logics for Lawvere Quantale
Bacci Giorgio, Mardare Radu, Panangaden Prakash, Plotkin Gordon D
39th Conference on Mathematical Foundations of Programming Semantics MFPS XXXIX 39th Conference on Mathematical Foundations of Programming Semantics MFPS XXXIX Proceedings - Symposium on Logic in Computer Science (2023)
Tensor of quantitative equational theories
Bacci Giorgio, Mardare Radu, Panangaden Prakash, Plotkin Gordon D
9th Conference on Algebra and Coalgebra in Computer Science (2021)
Fixed-points for quantitative equational logics
Mardare Radu, Panangaden Prakash, Plotkin Gordon
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021 Proceedings - Symposium on Logic in Computer Science Vol 2021-June, pp. 1-13 (2021)
https://doi.org/10.1109/LICS52264.2021.9470662
Universal semantics for the stochastic λ-calculus
de Amorim Pedro H Azevedo, Kozen Dexter, Mardare Radu, Panangaden Prakash, Roberts M
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings - Symposium on Logic in Computer Science Vol 2021-June (2021)
https://doi.org/10.1109/LICS52264.2021.9470747
Computing probabilistic bisimilarity distances for probabilistic automata
Bacci Giorgio, Bacci Giovanni, Larsen Kim G, Mardare Radu, Tang Qiyi, van Breugel Franck
Logical Methods in Computer Science Vol 17, pp. 9:1-9:36 (2021)
https://doi.org/10.23638/LMCS-17(1:9)2021
Probabilistic logics based on Riesz spaces
Furber Robert, Mardare Radu, Mio Matteo
Logical Methods in Computer Science Vol 16 (2020)
https://doi.org/10.23638/LMCS-16(1:6)2020

More publications

Back to staff profile

Professional Activities

On the Challenges of Quantitative Reasoning
Invited speaker
6/2023
International Workshop on Quantitative Logics, QUALOG 2023 (Event)
Editorial board member
6/2023
Workshop on Quantitative Equational Logic
Invited speaker
4/2023
Formal Structures for Computation and Deduction (Event)
Editorial board member
2023
International Workshop on Quantitative Logical Methods
Organiser
2023
Workshop on Quantitative Equational Logic 2023
Organiser
2023

More professional activities

Projects

Sea lice dispersal models
Waites, William (Principal Investigator) Ghani, Neil (Co-investigator) Mardare, Radu (Co-investigator) Revie, Crawford (Co-investigator)
08-Jan-2024 - 31-Jan-2024
A correct-by-construction approach to approximate computation
Mardare, Radu (Principal Investigator) Ghani, Neil (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
01-Jan-2023 - 31-Jan-2027
Maths DTP 2020 University of Strathclyde | Capucci, Matteo
Ghani, Neil (Principal Investigator) Mardare, Radu (Co-investigator) Capucci, Matteo (Research Co-investigator)
01-Jan-2020 - 01-Jan-2024

More projects

Back to staff profile

Contact

Professor Radu Mardare
Computer and Information Sciences

Email: r.mardare@strath.ac.uk
Tel: Unlisted