Jason Hickey is a Software Engineer at Google, where he is responsible for Computing Infrastructure. His research interests include programming languages, formal methods, and compilers for fault-tolerant distributed systems and high-conﬁdence control. He was an assistant professor at California Institute of Technology (Caltech) until 2008, where he developed new courses in modern operating systems, compilers, and programming language semantics.