Kai Engelhardt

Senior Lecturer

Office	K17 217C
Phone	+61 2 9385 4497 (Internal: x54497)
Fax	+61 2 9385 5995 (Internal: x55995)
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

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

Publications

View my publications on ResPubs

Click to view my UG Thesis Topics

Update your CSE Profile preferences in myCSE.