Ulrich Ultes-Nitsche

Ulrich Ultes-Nitsche is a professor of computer science and the head of the FDS research group. He holds a PhD degree from the Computer Science Department of the University of Frankfurt, Germany.

Functions

At the University

• Professor of Computer Science
• Head of Department - Department of Computer Science
• Head of Group – Foundations of Dependable Systems research group.
• Student advisor for the Bachelor and Master in Computer Science
• President of Student Request Committee of the Science Faculty
• President of Regulations Committee of the Science Faculty
• Several committee memberships on the faculty level

Outside the University

• Representative of the University of Fribourg on the foundation board of SWITCH
• Board member and secretary of the DIUF Promotion Foundation
• President of the Swiss E-Voting Competence Centre
• Steering Committee member of the ERCIM working group STM
• Various conference involvements

Research Interests

Dependability

• Automata Theory
• Temporal Logics
• Verification
• Formal Methods

Security

• Cryptographic Protocols
• Security Models

Research Funding

Current

• two PhD projects on Büchi/Muller automata, determinacy, complementation, Kleene algebra
• one postdoc project to be filled