Assistant Professor (Lecturer) in Computer Science, Cyber Security
Guido Schmitz joined Lancaster University Leipzig in 2024, enriching our academic team with his expertise in cyber security. His research is dedicated to developing innovative methodologies for rigorously scrutinising, improving, and verifying the security and privacy properties of modern interconnected IT systems. For example, through the application of formal methods, he has successfully identified and fixed severe vulnerabilities in core security protocols of the modern World Wide Web. Guido actively collaborates closely with esteemed standardisation organisations, such as the Internet Engineering Task Force (IETF), to fortify critical infrastructures and establish robust formal guarantees for their security.
Throughout his academic journey, Guido has made remarkable achievements: He obtained his first-class Diplom degree (c.f. MSci) in Computer Science from the University of Trier as best of the cohort. Furthermore, he was awarded his PhD with distinction by the University of Stuttgart. He also played an integral role in setting up the Institute of Information Security at the University of Stuttgart, where he then held a Postdoctoral position. He continued to advance his career as a Lecturer in the world-renowned Information Security Group at Royal Holloway, University of London, before joining Lancaster University Leipzig as an Assistant Professor.