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:

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

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, particularly for the the MSc in Computer Security. See also the project topic from industry.
Secure Programming: a core module for the MSc in Computer Security.
SSC: Grammars and Parsing
Compilers and Languages

Past teaching:

Master's degree course in Computer Security

I am programme director for the MSc in Computer Security. My other admin responsibility is website coordinator.

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

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. 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.