Proofcraft News - 2023

News from other years: 2022 2021

# 2023-02-04 - Listen to Gerwin's interview on Type Theory Forall podcast

Gerwin's podcast

Listen to Gerwin talk about his formal verification journey and thoughts on the field, from his PhD on Java Virtual Machine verification and him leading the landmark verification of the seL4 kernel, to creating Proofcraft to provide commercial support in formal verification, and much more. Grab a cup of coffee, or go for a walk with your earphones, or save it for your next flight, and listen to Gerwin sharing his insights, thoughts and anecdotes on this Type Theory Forall podcast.