PhD student at the Computer Lab, University of Cambridge, under the supervision of Anil Madhavapeddy and Peter Sewell.
Part of Rigorous Engineering for Mainstream Systems and OCaml Labs projects.
Supported by Microsoft Research through its PhD Scholarship Programme.
My core focus is application of advances in programming language technology to development of simpler, high-confidence systems whose behavior we can understand -- especially as it relates to their security.
Topics of interest include: