Dominic Mulligan

I am a postdoctoral research scientist in Peter Sewell's research group in the Computer Laboratory, at the University of Cambridge.

I am interested in mathematical computer science, formal methods, theorem proving, nominal techniques, and related subjects.

ARM

I am now a Senior Formal Verification Researcher within the Security and Cryptography Group at ARM Research, Cambridge.

Proudly powered by WordPress | Theme: editor by Array