Ben Simner

My research focuses 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 production software such as pKVM, Android's hypervisor.