Jean Pichon-Pharabod

Ph.D. student under the supervision of Peter Sewell at the Computer Laboratory of the University of Cambridge, working on the REMS project.

Publications

Last modified: Mon Apr 27 2015