Campus-Portal profile | Courses | Research
My current research focus is on the application of formal methods to
I am teaching Courses in SS2017. I am also working as an Associate Tutor (for distance learning modules) with the University of Leicester, UK.
Dimitrios Serpanos, Howard Shrobe, Muhammad Taimoor Khan: Behaviour-Based Security for Cyber-Physical Systems. ERCIM News, 2016, S. 53 - 54.