Angus Hammond

PhD student in the Computer Science Department at the University of Cambridge.

Contact

angus.hammond at cl.cam.ac.uk

Research interests

I am interested in developing practical proof techniques for reasoning about realistic hardware systems, with a view to allowing low level program proof on CHERI processors.

Software

Publications

DBLP

Last modified: 26 Jul 2022