Hayo Thielecke

(Former)

Willingness to take PhD students

Yes

PhD projects

Dr Thielecke is interested in supervising PhDs in all aspects of programming languages, especially the interaction of programming languages and computer security. He is happy to discuss topics including:

Cloud computing and security
Multicore, many-core and GPGPU programming via abstract machines
Concurrent programming and security
Safe systems-level programming
Abstract machines
Type and effect systems