Jean Pichon

Ph.D. student under the supervision of Peter Sewell at the Computer Laboratory of the University of Cambridge.

Last modified: Mon Oct 21 21:07 UTC 2013