Ben Simner

Computer Scientist at the University of Cambridge, UK.

Currently a Postdoc in the REMS group at Cambridge. A full list of my publications, presentations, and posters can be found here. My curriculum vitae can be found here. Contact information here.

Keywords: Programming Languages & Semantics ∙ Computer Architecture ∙ Systems ∙ Concurrency ∙ Testing ∙ Verification

My research focusses on producing more foundational tooling for systems engineers, to help track down notoriously hard-to-find concurrency bugs, or as safety nets to defend against such errors. My interests lie at the intersection of programming languages, computer architecture, systems software, and formal methods. In collaboration with Arm and other academic colleagues I make precise mathematical models of modern processor architectures; with colleagues at Aarhus and Microsoft Research I investigate the verification of concurrent programs; and, in collaboration with our friends at Google, I investigate new tools and techniques for testing low-level software, exercising them on pKVM, Android's hypervisor.