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.
Research
My research interests include:
- Secure programming and 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 and concurrency
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
- Postgraduate research admissions: see information for staff on PhD admissions processing (local CS staff access only).
- My other admin responsibility is running our Google Ads for the School of Computer Science's postgraduate programmes.
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 Third ACM SIGPLAN Workshop on Continuations (CW'01)
Some colleagues and students
Current and past students:
- Horia Corcalciuc started his PhD in 2007.
- Josh Berdine was Peter O'Hearn's student, co-supervised by me while I was Peter's postdoc. 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 then went to study for his PhD in Cambridge.
Last modified: