
Biography
Dr Megha Quamara is a postdoctoral researcher in the Department of Informatics at King’s College London.
Her current research focuses on developing and applying formal-based automated tools for the security analysis of socio-technical systems that combine eXtended Reality (XR) systems and their human users. She works with Prof. Luca Vigano’s research group on the Horizon EU-funded SERMAS project, which aims to lay the foundations of next-generation XR systems by examining how people relate to and interact with the technology.
Megha received her PhD in Computer Science and Telecommunications from the University of Toulouse III – Paul Sabatier in France, with a thesis on the interplay between safety, security, and system architecture. During her doctoral research, she collaborated with the French Alternative Energies and Atomic Energy Commission (CEA Paris-Saclay) and the Computer Science Research Institute of Toulouse (IRIT). Before this, she obtained her Master of Technology degree, specializing in Cyber Security, from the National Institute of Technology (NIT) Kurukshetra in India. During her master’s research, she worked on a project funded by the Defence Research and Development Organization (DRDO) in New Delhi, focused on implementing security features in smart cards, with her thesis results published by CRC Press.
Additionally, she serves as the Deputy Secretary of the IEEE ComSoc’s Women in Communications Engineering (WICE) committee, and is actively involved in promoting and supporting women in STEM fields.
Research interests
- Dependable systems engineering
- Safe AI
- Cybersecurity
- Formal methods
More information
Research

Cybersecurity
The group studies design, modelling, analysis, verification and testing of networks and systems.
Research

Cybersecurity
The group studies design, modelling, analysis, verification and testing of networks and systems.