Dr Muhammad Taimoor Khan
Lecturer in Secure Systems
BSc, MSc, PhD
Academic and research departments
Surrey Centre for Cyber Security, Computer Science Research Centre, Faculty of Engineering and Physical Sciences.About
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
ResearchResearch 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
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
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.