Senior Software Engineer, Amperity

Video

SDE Joe Christianson explores how systems built on top of typed lambda calculus can verify complex mathematical proofs and more.