Scott Guest

Compiler Engineer at Runtime Vеrification

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.


Org chart

Sign up to view 0 direct reports

Get started