Create your FREE profile now!
Join the discussion with researchers around the globe - sign up for your free Cureus account today.
About
Markus Roggenbach is a Full Professor of Computer Science at Swansea University, UK. There, he leads the research groups on railway verification and cyber security in Swansea University's Department of Computer Science, where he also has been Director of Research (2016 - 2021). His research foci are formal methods for safety and for cyber security, their semantics, how to utilise them throughout the software life cycle, how to support them with tools, and their application in industrial contexts. Two Research Excellence Framework (REF) impact case studies (2014, 2021) show his experience in technology transfer. He is a member of the Federation for Information Processing (IFIP) Working Group 1.3 "Foundations of System Specification" (co-chair in 2015 - 2021).
