Associate Professor (Reader) of Computer Science
Director of Cyber Assurance Lab
Internet of Things and Security Research Centre
School of Computing and Mathematical Sciences
University of Greenwich
Old Royal Naval College
E-mail: m.khan [AT_DOMAIN] gre [DOT] ac [DOT] uk
Phone: +44 (0)20 8331 8522
Office: QM408 (Queen Marry)
I am an Associate Professor of Computer Science at the University of Greenwich, UK. There I have founded the Cyber Assurance Lab in Internet of Things and Security Research Centre. I am also member of (i) an interdisciplinary Law, Emerging Tech and Science (LETS) Lab, UK, (ii) Formal Methods Europe -- an association for bringing world leading researchers and academics together including teaching of formal methods, and (iii) EASST -- an European Association for the Study of Science and Technology. I have received a MSc in Advanced Distributed Systems from the University of Leicester, UK in 2008 and PhD (Dr. techn.) in 2014 focusing on Formal Verification of Computer Algebra Software from the Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Austria, both with distinction. I have also received an MSc in Computer Science from the Islamia University of Bahawalpur, Pakistan in 2001. Before joining the University of Greenwich, I was a Lecturer in Cyber Security at Surrey Center of Cyber Security, University of Surrey, UK during 2018 and 2019. Prior to that I was a Postdoc at the MIT CSAIL, USA jointly during 2014-2016 and in SERG Group at the Alpen-Adria University, Austria during 2016-2018. My research has been recognised through (i) winning awards in the most premier research venues including CICM 2012, WF-IoT 2016 and ICS-CSR 2019, to name a few and (ii) winning and being part of mega research grants by distinguished international and regional funding agencies including Horizon Europe, H2020, HFRI, FWF and NSF/DARPA, to name a few. I am a member of IEEE.
My research interests are in:
I am excited and honoured to serve PC committee of 25th Workshop on Formal Techniques for Java-like Programs (FTfJP).Feb 2023
I am co-organizing (jointly with MIT CSAIL, USA and AI Chip Design Centre, Japan) a special session on Design and Enforcement of Safety, Security, Privacy and Law in Society 5.0 in ETFA 2023.Nov 2022
Our paper Challenges in Modelling Applications for Safe and Resilient Digital Twins has been published in the proceedings of IEEE International Smart Citities Conference 2022.
Our paper Towards Practical and Formal Security Risk Analysis of IoT Applications has been published in the proceedings of ETFA 2022.
Our paper On the Performance and Scalability of Simulators for Improving Security and Safety of Smart-City has been published in the proceedings of ETFA 2022.