Adam Foltzer

Since joining Galois in 2012, my engineering work has centered on building static analyzers, symbolic simulators, and programming language implementations to enhance trustworthiness in software and embedded systems. I collaborate with researchers here and around the world to build compelling proposals in these areas for our clients, and engage with the broader open source community. Outside of work, I enjoy woodworking, video games, and spending time with my family and cats.