David Kaloper Meršinjak

PhD student at the Computer Lab, University of Cambridge, under supervision by Anil Madhavapeddy and Peter Sewell.

Part of Rigorous Engineering for Mainstream Systems and OCaml Labs projects.

Code.

Research interests

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:

Publications

Projects

Teaching