Hayo Thielecke - Lecturer in Computer Science

Research

• Publications
• PhD research topics

Teaching 2011-2012

• Secure Programming
• SSC1
• Principles of Programming Languages

• Student project topics:
• MSc Computer Security projects
• MSc Advanced CS projects

Admin

• Open Day PhD talk
• PhD admissions (Staff only)

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.
• Abstract machines
• 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
• Principles of Programming Languages
• Software Systems Components 1

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.
• 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.
• Maxim Strygin started his PhD with me in 2010, having been awarded an EPS Elite postgraduate scholarship.
• Asiri Rathnayake started his PhD with me in 2011.
• 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.

Administration duties

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

---

   

Last modified: