Jean Pichon-Pharabod

RA in Peter Sewell's group at the Computer Laboratory of the University of Cambridge, working on the REMS project.

Publications

See DBLP.

Last modified: Fri Mar 09 2018