Control and concurrency research

Much of my research since my PhD was on continuations. These days, I am not so much interested in classical typing for control operators, but more in using control constructs in a more low-level setting, including things like code pointers (see POPL'06) and signals (as in Unix). Signals are somewhere in between sequential control and concurrency, since they lead to non-deterministic interleaving, but this interleaving is only one-way as opposed to the symmetric interleaving that is produced by a parallel composition of processes.

PhD students

Max Strygin's's PhD thesis will be in this area.

Relevant papers