Dirk Pattinson

Prof Dirk Pattinson is a Professor in the School of Computing at Australian National University (ANU). His research focuses on modal logic, coalgebraic systems, automated reasoning, and formal methods. He holds a PhD in Computer Science and has supervised numerous research students.

Research interests include coalgebraic logic, non-classical modal logics, automated theorem proving, and applications in computational social choice. His work bridges theoretical foundations with practical tools like the COOL reasoner for modal fixpoint logics.

Notable contributions span over 70 peer-reviewed publications since 2008, with recent work on non-iterative modal resolution calculi (2024), Hennessy-Milner properties via topological methods (2022), and formal verification of voting systems (2021). His research often integrates algebraic, categorical, and coalgebraic perspectives.