Rate My Professor Matthias Werner

Prof. Dr.-Ing. habil. Matthias Werner holds the University Professorship of Operating Systems within the Faculty of Computer Science at Technische Universität Chemnitz, where he serves as Head of the Operating Systems Group. His academic background includes studies in Electrical Engineering at Humboldt-Universität zu Berlin from September 1988 to November 1993. Early in his career, he held a Researcher position at Daimler Research in Berlin from September 1991 to November 1993, overlapping with his studies, followed by a Research Assistant role in the Department of Electrical & Computer Engineering at the University of Texas at Austin from January to December 1994. Since January 2008, he has been Full Professor in the Department of Computer Science at Chemnitz University of Technology, leading research in operating systems and related fields.

Prof. Werner's research addresses approaches, models, and methods for supporting generic applications with meta-functional properties including mobility, timeliness, dependability, autonomy, and power consumption. The Operating Systems Group's work is structured around three core areas: meta-functional properties such as safety-by-design, real-time capability with holistic timing behavior, security under the CIA-Triad, robustness, dependability, and performance prediction; (semi-)formal methods encompassing process analysis for inconsistencies, modeling via Markov chains, automatons, fault trees, TLA+, Isabelle/HOL, correctness by construction through iterative refinement, design by contract for meta-functional constraints, and formal verification; and mobile or distributed application systems applied to railway digitalization and secure infrastructure communication, automotive open systems with Car2X and ISO/SAE 21434 security development, aviation and space fault tolerance with phased mission systems, and cyber-physical systems featuring distributed runtime environments like Dimos, sensor fusion, and location awareness. His expertise covers distributed computing, operating systems, non-functional properties like reliability, safety, and security, verification, scheduling, modeling, parallel and distributed computing, formal verification, algorithms, embedded systems, and mobile computing. Key publications include "Virtualization in Robot Swarms: Past, Present, and Future" (2024), "B.A.T.M.A.N. Mesh Networking on ESP32’s 802.11" (2024), "A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations" (2023), "Formal analysis of timeliness in the RaSTA protocol" (2022), "The Need of Proper Programming Models for CPS" (2020), and "A Holistic State Equation for Timed Petri Nets" (2014).