Hayo Thielecke - Lecturer in Computer Science

Current research

• Publications
• RXXR REDoS analysis
• Control and concurrency
• Parsing and Reg Exp
• PhD research topics

Teaching

• C/C++ programming languages
• Parallel Programming
• Student project topics:
• MSc Computer Security projects
• MSc Advanced CS projects

Events organized

• CW'04 workshop
• KAZAM workshop

Contact details

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

• 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

• C and related programming languages
• Parallel Programming

Past teaching

• Principles of Programming Languages 2011/12
• Secure Programming 2011/12
• Software Systems Components 1, 2011/2012
• Compilers and Languages

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: