Gerwin Klein

Chief Scientist & Co-Founder

Gerwin Klein's research is centered in the domain of large-scale software verification, interactive theorem proving using Isabelle/HOL, and programming languages. His most renowned accomplishment lies in the formal verification of the seL4 microkernel, which has garnered significant attention. This breakthrough has been instrumental in enhancing the security of autonomous vehicles within the DARPA HACMS and CASE programs.

Beyond academia, Gerwin also holds the distinguished positions of Chief Scientist and Co-Founder at Proofcraft. In this capacity, his endeavors encompass providing commercial support, offering training, consulting services, and overseeing contracted proof projects. These activities are aligned with the broader theme of software verification, particularly focusing on the seL4 microkernel verification, thereby contributing significantly to the advancement of this vital field.

Talks About
#programminglanguages #theoremproving #softwareverification

Preferred Locations
#Oceania