Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Hayo Thielecke's Home Page

Hayo Thielecke

Lecturer in Computer Science

Contact

Email: H.Thielecke@cs.bham.ac.uk

School of Computer Science
The University of Birmingham
Birmingham B15 2TT
United Kingdom

My office is 208 (second floor on the left in the Computer Science building, and here is my timetable.

Pronunciation and Etymology

Research

My research is concerned with programming languages. Currently I am mainly interested in separation logic, and type and effect systems. Other research interests include: continuations, parametricity, operational semantics, object-oriented patterns, program understanding and software design.

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

Teaching

See here for PhD and MSc topics, and the information on undergraduate or (conversion) MSc projects

Teaching in 2004/5:

Compilers and Languages
Compilers and Languages (Extended) Note: this is the Level 4 module
Software Workshop Team Java

Past teaching:

Principles of Programming Languages

Events

Forthcoming: 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 The Third ACM SIGPLAN Workshop on Continuations (CW'01)

Some colleagues and friends

Past and current students:

Josh Berdine was Peter O'Hearn's student, co-supervised by me. Josh's 2004 thesis is on linear CPS.
Chris Ross is working on program architecture and separation logic for his PhD.
Peter Buchlovsky did his MSc with me in 2004, and his now studying for a PhD in Cambridge.