π-calculus, Session Types research at the University of Oxford
As of April 2018, Juliana has moved to Microsoft Research Cambridge.
