Gerwin Klein

Associate Professor NICTA Conjoint

Office	L5 NICTA
Phone	+61 2 9385 7349 (Internal: x57349)
Fax	+61 2 9385 7942 (Internal: x57942)
Email
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.