Professor Radu Mardare
Computer and Information Sciences
Back to staff profile
Prize And Awards
- Best paper award CALCO 2021
- Recipient
- 2021
- Doctor Scientiarium of University of Aalborg, Denmark.
- Recipient
- 2016
- Sapere Aude for Elite Research
- Recipient
- 2010
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)
- 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
- 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
- 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
Back to staff profile
Professional Activities
- International Workshop on Quantitative Logics, QUALOG 2023 (Event)
- Editorial board member
- 6/2023
- On the Challenges of Quantitative Reasoning
- Invited speaker
- 6/2023
- Workshop on Quantitative Equational Logic
- Invited speaker
- 4/2023
- Workshop on Quantitative Equational Logic 2023
- Organiser
- 2023
- Formal Structures for Computation and Deduction (Event)
- Editorial board member
- 2023
- Quantitative Logical Methods, QUALOG 2023, Boston, USA
- Invited speaker
- 2023
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
Back to staff profile
Contact
Professor
Radu
Mardare
Computer and Information Sciences
Email: r.mardare@strath.ac.uk
Tel: Unlisted