Yasmin Rafiq (Preferred)
Yasmin Rafiq
Postdoc, Computer Science, University of Manchester
Joined
August 2025
Names
Emails
****@manchester.ac.uk (Confirmed)
Personal Links
Career & Education History
Postdoc
Computer Science, University of Manchester (manchester.ac.uk)
2025 – Present
Postdoc
Computer Science, University of Sheffield (sheffield.ac.uk)
2021 – 2024
Advisors, Relations & Conflicts
Expertise
Human Robot Interaction and formal verification
2021 – 2025
Bayesian inferencing
2015 – 2025
Probabilistic
, runtime formal verification
2015 – 2025
Self-adaptive autonomous systems
2015 – 2025
Publications
Co-Authors
- Alessandra Russo
- Arosha K. Bandara
- Avelie Stuart
- Bashar Nuseibeh
- Baslin A. James
- Blaine A. Price
- Carlo Ghezzi
- Gabriel Costa Silva
- Giordano Tamburrelli
- Gricel Vázquez
- Gul Calikli
- Ke Xu
- Kenneth Johnson
- Luke Dickens
- Mark Levine
- Mauro Pezzè
- Mehmet Emin Bakir
- Mu Yang
- Radu Calinescu
- Robert M. Hierons
- Sanja Dogramadzi
- Simos Gerasimou
- Stanimir N. Pehlivanov