Scott Guest

Scott Guest is a compiler engineer with a broad interest in programming languages and formal verification. He is passionate about both theory and practical implementation, with experience that ranges from formalizing pattern-matching semantics for the live functional programming language Hazel to implementing compiler optimizations in a widely-used MATLAB to C++ code generator. Scott received his B.S. in Mathematics and B.S. in Computer Science from the University of Michigan. Outside of work, he enjoys cooking plants, climbing rocks, and jumping out of planes.