Dr Liam O'Connor

PhD, BSc (Hons)
Senior Lecturer
ANU College of Engineering, Computing and Cybernetics

Areas of expertise

  • Theory Of Computation 4613
  • Formal Methods For Software 461203
  • Programming Languages 461204
  • Concurrency Theory 461304
  • Software Testing, Verification And Validation 461208
  • Computational Logic And Formal Languages 461303
  • Software And Application Security 460406
  • Dependable Systems 460604

Return to top

Updated:  01 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers