Contact details
Email: H.Thielecke@cs.bham.ac.uk
Computer Science
University of Birmingham
Birmingham B15 2TT
United Kingdom
Computer Science
University of Birmingham
Birmingham B15 2TT
United Kingdom
- 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.
- Secure programming and software security, particularly in conjunction with programming language design and technology.
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
- Some topics for student projects, aimed in particular at the MSc in Computer Security and the MSc in Advanced Computer Science.
- Secure Programming, a core module for the MSc in Computer Security
- Grammars and Parsing, part of SSC1 in the second year
- Compilers and Languages, optional module in the third year
Past teaching:
Administration
My current admin responsibilities include:
- Postgraduate research admissions: see information for staff on PhD admissions processing (local CS staff access only).
- I am running our Google Ads + Analytics for the School of Computer Science's postgraduate programmes (and have done so since 2006).
- Member of the Postgraduate Marketing and Recruitment Committee, College of Engineering and Physical Sciences (EPS).
Events
- PC member of LOLA 2010 - Syntax and Semantics of Low Level Languages
- The KAZAM workshop was 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
- Horia Corcalciuc started his PhD with me in 2007; he is also a Teaching Assistant.
- 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.) - Peter Buchlovsky did his MSc with me in 2004, and then went to study for his PhD in Cambridge.
Last modified: