Professor, ANU College of Engineering and Computer Science, Australian National University

My main area of research is formal methods for software engineering but I have also been working in electronic voting since 2001.

Experience

  • –present
    Professor, ANU College of Engineering and Computer Science, Australian National University