Jean Pichon-Pharabod

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

Publications

Last modified: Tue Dec 23 2014