Nick Gisolfi

Research Engineer

Background

Nick joined Galois in 2025 as a Research Engineer, based in our Arlington office. He earned his Ph.D. in Robotics from Carnegie Mellon University, where he applied SAT solvers to formally verify whether AI models fit to real-world data yield safe, robust, and fair predictions. Nick’s current research interests include decentralized AI, generative models, and trustworthy AI systems.

He’s also a devoted classical music enthusiast, avid plant parent, and occasional horologist wearing one of the wristwatches he self-assembled.

WORK AREAS

No areas found

Stay Connected

No items found.
No items found.
No items found.