Gerwin Klein

Associate Professor NICTA Conjoint

Office L5 NICTA
Phone +61 2 9385 7349 (Internal: x57349)
Fax +61 2 9385 7942 (Internal: x57942)
Email kleing AT
Mail School of Computer Science and Engineering
The University of New South Wales
Sydney 2052, Australia
Personal Website Further details are in my Home Page

Research Areas

  • Formal Methods for Program Reasoning and Verification
  • Semantics and Type Systems of Programming Languages
  • Operating Systems
  • Formal Methods
  • Formal Specification and Refinement
  • Functional Programming
  • Logic in Computer Science

Click to view my UG Thesis Topics

Update your CSE Profile preferences in myCSE.