Gernot Heiser

Why they're in the Luvo100

Heiser helped turn formally verified operating systems into an engineering programme with practical applications. His contribution combines architectural research and sustained technical leadership; the seL4 implementation and proofs remain the collective achievement of named collaborators.