---

Personal

I'm a mathematician turned computer scientist. Prior to joining ANU I held a (senior) lectureship at Imperial College London, a lectureship at the University of Leicester and was a Research Associate at LMU Munich.

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 verifiable certificate attesting to the correctness of the count. The project offers a wide range of activities, ranging from foundations, rule design, efficiency considerations to concrete case studies. The project seeks to further investigate this idea and apply it to real-world voting systems and mainly deals with the following aspects:

• generation of provably correct vote counting functions from rules
• efficiency of rule-based vote counting and certificate checking
• formal proofs of meta-properties of voting protocols
• case studies with real-world voting protocol
• minimising the gap between formal rules and legal specification

Open to individuals of any nationality. We're based in Canberra. Contact Dirk Pattinson.

Events and Activities

• CALCO 2013, the 5th conference on Algebra and Coalgebra in Computer Science
• CMCS 2012, the 11th international workshop on coalgebraic methods in computer science

Research Projects

• Coalgebraic Modal Logic: Fixpoints and Nested Modalities
• Coalgebras, Ontologies and Logic