Menu Close
Conj. Professor; Chief Research Scientist, UNSW

Gerwin Klein is working in formal software verification, interactive theorem proving, programming languages, and operating systems. He is a Chief Research Scientist at CSIRO's Data61 and Conjoint Professor at the University of New South Wales in Sydney, Australia. He received his PhD in Computer Science on Java Bytecode Verification from Technische Universität Munich in 2003 and has been working in the area of machine-checked formal proof in various projects since 1998.

When he is not developing proofs or software and not teaching students, he can be spotted enjoying martial arts, books, and cinema.


  • –present
    Principal Researcher, NICTA
  • 1999–2003
    Senior research & teaching assistant, Technische Universität Munich


  • 2003 
    Technische Universität Munich, PhD/Computer Science
  • 1999 
    Technische Universität Munich, Dipl. Inf. Univ. (BSc (Hons)/Computer Science)

Research Areas

  • Logic (220308)
  • Operating Systems (080307)
  • Computer Software (0803)
  • Computer System Security (080303)
  • Mathematical Logic, Set Theory, Lattices And Universal Algebra (010107)
  • Programming Languages (080308)