Kevin Elphinstone

Why they're in the Luvo100

Elphinstone’s contribution is architectural: designing software foundations that can be reasoned about rigorously without abandoning systems requirements. That work supports stronger correctness guarantees for dependent software, alongside the separately credited implementation and proof contributions of the seL4 team.