Markus Roggenbach
Markus Roggenbach (born 13 March 1966) is a German computer scientist and expert on Formal Methods for software engineering and system design. His work has focused on constructing dependable systems where formal methods are deployed as an application that provides accessible tools for software developers during the Systems development life cycle of Software Applications.
Biography
Roggenbach was born in Wolfsburg, Germany, where he was educated in Informatics and Mathematics at the Technical University of Braunschweig. He then continued his studies in Computer Science at the Karlsruhe Institute of Technology where he achieved his MSc Diploma, with an MSc thesis on Parallel Computation and Systolic Arrays. Afterwards, he obtained his Doctorate at the University of Mannheim with his thesis on Abstract Characterizations of Bi-Simulation.
During 1998–2003, Roggenbach held a position as a Researcher at the Faculty of Informatics of the University of Bremen where he specialised in Process Algebras and Mathematical Specifications of Software Systems, before accepting a lectureship position at Swansea University in 2003. During this time, he taught Formal Methods and Formal Semantics, Algorithms and Data Structures, and Software Testing. In 2013, Roggenbach was later appointed as an Associate Professor at Swansea University and has remained a Professor since 2016.
Roggenbach has maintained standing collaborations with numerous collaborators, including: The University of Bremen on Formal Semantics, University of Tsukuba on Automated Theorem Proving, the Humboldt-University of Berlin on Formal Methods of Software Testing, and University of Pretoria on CSP specifications and correctness proofs. In 2000, Roggenbach was an Invited Lecturer at the University of Cape Town where he presented a course on Formal Methods. He later returned as a keynote speaker at the prestigious IEEE conference on Software Engineering and Formal Methods held in Cape Town in 2008.[1]
Presently, Roggenbach is the Director of Research in the Department of Computer Science at Swansea University and the Chair of the European Technical Working Group on Formal Methods in Railway Control. In addition, he is the Co-Chair of IFIP WG 1.3 the Foundations of System Specification, and visiting Reader at the University of Surrey.
Work on Formal Methods
In 2022, Roggenbach published a book with Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, and Siraj Ahmed Shaikh titled Formal Methods for Software Engineering. The book explains the foundations of formal methods and introduces the Specification, Verification, and Testing methods. It explores various application domains and presents realistic and practical examples that illustrate these concepts. The book brings together contributions from highly experienced educators and researchers, offering modelling and analysis methods for formal development of software.
Personal Life
Since his childhood, Roggenbach has always been interested in music. During his time at school in Wolfsburg, he competed and won a prize in the national music youth competition Jugend musiziert. His favourite instrument is the Oboe but he is equally competent on the piano. His passion for music guided him towards studying music at the renowned Hochschule für Musik Detmold.
Roggenbach continues to actively perform as a semi-professional musician in various trios and quartets in Swansea, and is a member of the Swansea Bay Symphony Orchestra.
References
- ↑ M. Roggenbach: Tools for CSP. Invited keynote lecture. In A. Cerone and S. Gruner (eds.): 6th IEEE International Conference on Software Engineering and Formal Methods, Cape Town, Nov. 2008, IEEE Computer Society Press.
External links
European Technical Working Group on Formal Methods in Railway Control
IFIP WG 1.3 the Foundations of System Specification
This article "Markus Roggenbach" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Markus Roggenbach. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
