Skip to content
  • View menu
  • View sidebar

Dominic Mulligan

  • Home
  • About me
  • Papers
  • Teaching and student supervision
  • S-REPLS
    • Previous S-REPLS meetings

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.

November 1, 2017 by Dominic Mulligan

ARM

  • Uncategorized

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

Post navigation

← Previous Post Distinguished paper and artefact award
Next Post → SREPLS 8 a success
Proudly powered by WordPress | Theme: editor by Array