Stefan Hetzl, currently at the Vienna University of Technology, will be joining the Parsifal team for a three month postdoc during the dates 01/07/2012 and 30/09/2012. He will be working with (at least) Chaudhuri and Miller on the general problem of canonicity in classical sequent calculus.
May 15
