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 cse.unsw.edu.au
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.