Daniel Hausmann

Dr Daniel Hausmann is a Lecturer in the Department of Computer Science at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. His research focuses on formal methods, automata theory, and game theory, with applications to reactive synthesis and modal fixpoint logics.

• Current academic rank: Lecturer
• Key research areas: Formal verification, automata theory, game-based synthesis algorithms
• Contributions: Development of tools like COOL-MC and COOL 2 for modal fixpoint logics

Recent research trends involve solving complex games for system verification, optimizing symbolic algorithms, and advancing coalgebraic approaches to satisfiability checking. His work spans both theoretical foundations and practical implementations for formal verification systems.

Notable collaborations include researchers at the intersection of computer science and logic (e.g., N. Piterman, L. Schröder). The University of Liverpool's Computer Science department supports his work through academic infrastructure and research partnerships.