Bolton Bailey is a Proof engineer at Pi Squared Inc. Prior to joining, he was a Ph.D. student in computer science at the University of Illinois at Urbana-Champaign.