Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Hayo Thielecke's Home Page
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)
Alexander Shaw
started his PhD in 2007, after graduating from our Computer Security
Master's.
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 his now studying for a
PhD in Cambridge.