Gerwin Klein is a German-born computer scientist and Conjoint Professor at the University of New South Wales who led the formal verification of the seL4 microkernel, the first operating system kernel mathematically proven correct against its specification, and chairs the Technical Steering Committee of the seL4 Foundation. He earned his PhD on Java bytecode verification from the Technical University of Munich in 2003, has worked in machine-checked formal proof since 1998, and co-founded the formal-methods consultancy Proofcraft, where he serves as chief scientist. Klein and his seL4 collaborators received the ACM Software System Award in 2022.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.