Prof Saša Radomirović
I am a professor in the Department of Computer Science at Heriot-Watt University.
My research focuses on formal methods and formal modeling for cyber security, particularly
cryptographic protocols, threat modeling, security ceremonies, and
agentic AI system security.
Contact Information
Publications (see also DBLP, Google Scholar)
Rigorous Systems Seminar