Eddy Westbrook

Eddy joined Galois in 2016, where he has led a number of research efforts on advancing the state of the art in formal methods tools. He is currently leading development of Heapster, an extension of the Software Analysis Workbench (SAW) for formal verification of programs with unbounded data structures and unbounded loops. Before joining Galois, Eddy worked at Kestrel Institute. Eddy received his Doctorate in Computer Science from Washington University in Saint Louis in 2008.