Dirk Pattinson
Professor · College of Engineering, Computing and Cybernetics · Australian National University
Quick answer: Dirk Pattinson is Professor at Australian National University. Dirk Pattinson shows an active PhD hiring signal as of 2026-10-19.
⭐ Fully Funded PhD Position in Electronic Voting
Verifiable vote counting is one of the cornerstones of a trustworthy electronic voting system. Correctness and trust can be achieved by understanding voting protocols, specified textually in legislation, as formal rules. Vote counting can then be cast as successive rule application, where the sequence of rule application serves as an independently ver
Research interests
modal logics, in partiular coalgebraic semantics, automated reasoning
domain theory, in particular computation over continuous data
logic and category theory in general
Frequently asked questions
Is Dirk Pattinson hiring PhD students at Australian National University?
Yes. As of 2026-10-19, Dirk Pattinson's faculty page shows a PhD hiring signal: Fully Funded PhD Position in Electronic Voting
Verifiable vote counting is one of the cornerstones of a trustworthy electronic voting system. Correctness and trust can be achieved by understanding vot.
What does Dirk Pattinson research?
modal logics, in partiular coalgebraic semantics, automated reasoning
domain theory, in particular computation over continuous data
logic and category theory in general
Data last updated: 2026-10-19 · Source: phd-match.com faculty database.
Is Dirk Pattinson a match for your research?
Upload your CV and get matched to professors who fit — with hiring signals.
Start matching