Bio

Gary is focused on advancing automated techniques for finding subtle software vulnerabilities. He is currently the lead maintainer of DIODE, Aarno's program analysis system that applies symbolic execution and constraint solving to generate inputs that trigger overflow errors.

Before joining Aarno Labs, Gary worked for InterSystems, where he was a core contributor to the cloud infrastructure for the company suite of products and services. Gary has a B.S. and an M.Eng from MIT, where his master's thesis looked at increasing code coverage by combining modern fuzzing techniques with symbolic execution and constraint solving.

When he's not touching a keyboard, Gary can be found enjoying an NYT crossword or studying chess while enjoying his Nutribullet-blended fresh fruit smoothie.