Kai Engelhardt

(Dr. rer. nat., Dipl.-Inf.)
senior lecturer at the School of Computer Science and Engineering, UNSW, head of the theoretical computer science group

Research

Publications

google scholar profile

My research mostly attempts to refute the third sentence of the following proverb of unknown (?) origin.

The problem with engineers is that they cheat in order to get results.

The problem with mathematicians is that they work on toy problems in order to get results.

The problem with program verifiers is that they cheat on toy problems in order to get results.

Funding History

Thesis Topics

I'm always keen supervise UG and PhD student theses. Talk to me to find out more, including funding opportunities for PhD students via UNSW and data61 scholarships.

Teaching

Administration

Contact info

Get my GnuPG/PGP public key

History


About my web pages.

Valid HTML 4.01! Valid CSS!

Last modified: Wed Dec 14 09:29:34 AEDT 2016