Adam Foltzer, Author at

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.