Nico Hauff

Nico Hauff is a Lecturer at the University of Freiburg's Department of Informatics within the Software & Systems Theory (SWT) group. His research focuses on Requirements Engineering, Natural Language Processing, and Formal Methods, with notable contributions to semantic requirements review and redundancy detection in real-time systems. He actively contributes to the Hanfor tool for formal requirements analysis and co-develops the Ultimate model checking framework.

Teaching responsibilities include Automatentheorie, Softwaretechnik, and Theoretische Informatik courses across multiple semesters. He supervises student projects on topics like real-time requirements monitoring and formal requirement formalization. His work has been recognized with the REFSQ'23 Best Paper Award for advancing formal pattern language understandability.

Research collaborations involve tools like Hanfor and Ultimate, addressing challenges in formal methods and software verification. He engages in both theoretical and applied research, bridging academic rigor with practical software engineering solutions.