Stefan Gruner

Stefan Gruner is a Professor in the Department of Computer Science, Faculty of Engineering, Built Environment and Information Technology, at the University of Pretoria, South Africa. He holds advanced degrees in Informatics (PhD, MSc) and Philosophy (MA), reflecting his interdisciplinary research that bridges formal software engineering, digital forensics, and the philosophy of technology. His work is widely published in international journals and conferences, and he is deeply involved in academic service, including supervision, examination, and program committees.

Education:

• MA in Philosophy, Germany, 2010
• PhD in Informatics, RWTH Aachen, Germany, 1999
• MSc (Dipl.-Inform.) in Informatics, Germany, 1996

His research interests center on Formal Methods, Software Engineering, and the Philosophy of Computer Science. He has made significant contributions to parameterized and three-valued model checking, formal methods for railway systems, and the scientific foundations of digital forensics. His recent work explores historical semantics in software architecture and the philosophical underpinnings of informatics. His publications from the last few years reveal a strong trend towards formal verification, safety-critical systems, and the epistemological aspects of digital investigation and software engineering.

Scientific Recognition:

• Biographic entry in Who's Who in the World (2010 edition)
• Member of the selection committee for the Annual Best Dissertation Award (EAPLS)

Stefan Gruner is an active advisor and supervisor, having guided numerous MSc and PhD students to completion. He has secured research funding from the South African National Research Foundation (NRF) and international partners for projects on model-driven development, CSP protocol verification, and visualization of distributed algorithms. His academic service is extensive, including roles as program chair for workshops like FM+AM and SEFM, editor for conference proceedings, and external examiner for multiple universities. He has also been a visiting researcher at institutions in Bordeaux and Swansea.

He was a central organizer of the Distributed Systems Research Group at the University of Pretoria and has fostered international collaborations, particularly within the formal methods and software engineering communities.