Jean Pichon-Pharabod

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

Publications

Last modified: Wed Dec 17 2014