Hayo Thielecke

Lecturer in Computer Science

Contact details

Can't pronounce my name? See the Pronunciation and Etymology page.

My office is 208 (second floor and on the left) in the Computer Science building. See my timetable for office hours etc.

Research

My research interests include:

• Software security, using program analysis, types and logics.
• Type systems (particularly polymorphism and parametricity and substructural type systems)
• Program logics (Hoare logic, separation logic and and temporal logics)
• Programming language constructs, particularly pointers and control structure and concurrency

There is a page with my publications (all online).

If you are interested in studying for a PhD here, I am happy to discuss possible PhD topics in Programming Languages and Software Security.

Teaching

• Some topics for student projects, aimed at MSc in Computer Security and MSc in Advanced Computer Science
• Secure Programming: a core module for the MSc in Computer Security
• SSC1: Grammars and Parsing (my slides in PDF)
• SSC2: slides on Sockets and RMI
• Compilers and Languages

Past teaching:

• Software Workshop Team Java
• Principles of Programming Languages

Events

• The KAZAM workshop, organized by Olivier Danvy and me.
• I am a guest editor for the special issue on continuations of the journal Higher-Order and Symbolic Computation (HOSC).
• I was the PC chair of the Fourth Continuation Workshop (CW'04), co-located with POPL'04 in Venice, 17 January 2004.The proceedings is available on-line.
• I was a PC member of The Third ACM SIGPLAN Workshop on Continuations (CW'01)

Some colleagues and students

Current and past students:

• Horia Corcalciuc started his PhD in 2007.
• Alexander Shaw started his PhD in 2007, after graduating from our Computer Security Master's.
• Josh Berdine was Peter O'Hearn's student, co-supervised by me while I was Peter's postdoc. Josh's 2004 thesis is on linear CPS, and he is now at Microsoft Research in Cambridge.
• Peter Buchlovsky did his MSc with me in 2004, and his now studying for a PhD in Cambridge.

Last modified: