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

Contact Rajeev for

  • General
  • Media request
  • Speaking request
  • Consulting / Advising
  • Research collaboration
  • Research supervision