Ulrich Ultes-Nitsche

Ulrich Ultes-Nitsche is a Professor in the Department of Informatics at the University of Fribourg, where he also serves as Dean of the Faculty of Science and Medicine. His research spans theoretical computer science, formal methods, and cybersecurity, with a strong focus on automata theory, model checking, and secure network systems.

• Institution: University of Fribourg
• School: Faculty of Science and Medicine
• Department: Department of Informatics
• Role: Professor and Dean

His research interests include theoretical computer science, automata theory, formal verification, temporal logic, and cybersecurity. He has made significant contributions to the understanding of Büchi automata, liveness properties, and secure authentication mechanisms using Trusted Platform Modules. His interdisciplinary work extends to secure medical data access and ecological network analysis.

The recent publications highlight a clear trend: a deep and sustained focus on automata theory, particularly Büchi automata, with increasing integration of machine learning techniques like graph neural networks for analysis. His earlier work laid foundational contributions in formal verification, model checking under fairness, and secure network protocols, especially in firewall and EAP-TLS authentication. The research consistently bridges theoretical computer science with practical security applications.

• Carolin Latze
• InSeon Yoo
• Dominik Jungo
• David Buchmann
• Thierry Nicola
• Michael Hayoz
• Christoph Ehret
• Nayla Sokhn

Ulrich Ultes-Nitsche has led and co-organized numerous international workshops (e.g., NCMA, MSVVEIS, VCL) on formal methods and verification, demonstrating a strong commitment to the academic community. His work has been supported by research in formal verification, network security, and trusted computing, often involving collaborations across institutions. He has also contributed to projects involving secure e-commerce, medical data access, and enterprise information systems.

He has been a key figure in organizing and editing proceedings for the International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS) and the ACM Sigplan Workshop on Verification and Computational Logic (VCL), fostering research communities in formal methods and verification.