Dr Muhammad Taimoor Khan
Lecturer in Secure Systems
BSc, MSc, PhD
Academic and research departments
Surrey Centre for Cyber Security, Department of Computer Science, Faculty of Engineering and Physical Sciences.Biography
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
IEEE Member
Member of IEEE
Research
Research interests
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.
Research collaborations
MIT CSAIL, USA
My teaching
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.