I am a Lecturer at the University of Surrey, UK and member of the Surrey Centre for Cyber Security (SCCS), which is a GCHQ recognised UK Academic Centre of Excellence in Cyber Security Research.
Areas of specialism
Software Security (design-time+run-time); Safety and Security of IoT and CPS Applications; Formal modelling and verification
University roles and responsibilities
- Final Year Project Coordinator (UG/PG)
- Academic Integrity Officer (AIO)
Affiliations and memberships
The goal of my current research is to develop a formal verification framework for the protection of cyber physical system applications against known and unknown attacks.
MIT CSAIL, USA
I am co-teaching Web and Database Systems (UG) and Distributed Systems (PG). I am leader of the final year UG/PG Project, and I supervise undergraduate and MSc projects.