Kai Engelhardt

Senior Lecturer

[PHOTO: Kai Engelhardt]
Office K17 217C
Phone +61 2 9385 4497 (Internal: x54497)
Fax +61 2 9385 5995 (Internal: x55995)
Email kaie 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

  • Rigorous Methods for Program Construction
  • Epistemic and Temporal Logics in Computer Science
  • Distributed Computing
  • Theory of Computer Security

Publications

View my publications on the Research Gateway

Click to view my UG Thesis Topics





Update your CSE Profile preferences in myCSE.