By proceeding, you agree to our Terms of Use and Privacy Policy.
Chief Scientist & Co-Founder
#programminglanguages #theoremproving #softwareverification
#Oceania
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