Jack Fox is an F# MVP who works as a software engineer at Tachyus, the first Silicon Valley tech company to implement full stack F# across all its production software platforms. He has a passion for software correctness, and has presented functional and type-theory topics at SVCC, Chicago Lambda Jam, the N.Y. City F# User Group, the S.F. Bay Area F# User Group, and S.F. Types, Theorems, and Programming languages.