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 and on the left) in the Computer Science building. See my timetable for office hours etc.

Pronunciation and Etymology

Research

My research interests include:

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
Software security, using program analysis, types and logics

If you are interested in studying for a PhD here, I am happy to discuss possible PhD topics in these areas.

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

Teaching

Suggestions for student projects, both undergraduate and MSc, particularly MSc in Computer Security
Secure Programming: a new module for the MSc in Computer Security.
Software System Components 1; I will be teaching the two weeks about grammars and parsing; see the page for the parsing part of SSC1.
Compilers and Languages

Past teaching:

MSc in Computer Security admissions

I am the admissions tutor for the MSc in Computer Security. See here for information on how to apply .

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

Some colleagues and students

Past and current students:

Josh Berdine was Peter O'Hearn's student, co-supervised by me. 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.