Hayo Thielecke's Home Page

Contact details

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

Computer Science
University of Birmingham
Birmingham B15 2TT
United Kingdom
Skype: hayo.thielecke1

My office is 208 (second floor and on the left) in the Computer Science building.
Can't pronounce my name? See the Pronunciation and Etymology page.
Current students: please see my timetable for office hours and lectures.

Research

My current research interests include programming languages, in particular type and effect systems and program logics for pointers, control and concurrency.

I am a member of the Theory group (which include programming language research) at Birmingham and the Academic Centre of Excellence in Cyber Security Research (ACE-CSR).

parsing and regular expression matching using semantic ideas
control and concurrency particularly in low-level language close to hardware or OS
Secure programming and software security, particularly in conjunction with programming language design and technology.
Abstract machines (in the tradition of Landin's SECD machine)

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

If you are interested in studying for a PhD with me, I would be happy to discuss possible PhD topics in Programming Languages and Software Security.

Teaching 2013/14

Past teaching

Events

PC member of CW2011 - ACM SIGPLAN Continuation Workshop 2011
PC member of TPDC 2011 - Theory and Practice of Delimited Continuations Workshop
PC member of LOLA 2010 - Syntax and Semantics of Low Level Languages
The KAZAM workshop was organized by Olivier Danvy and me.
Guest editor for the special issue on continuations of the journal Higher-Order and Symbolic Computation (HOSC).
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

Asiri Rathnayake started his PhD with me in 2011.
Maxim Strygin started his PhD with me in 2010, having been awarded an EPS Elite postgraduate scholarship.
Josh Berdine was Peter O'Hearn's student, co-supervised by me while I was Peter's postdoc. Josh's PhD thesis is on linear continuation passing (as in exceptions and coroutines). Josh is now at Microsoft Research in Cambridge.
My Erdős number is 3, thanks to John Power, co-supervisor of my PhD at Edinburgh.
(John ∈ Erdős(2) via Michael Makkai.)

Last modified:

Hayo Thielecke - Lecturer in Computer Science

Current research