Ben Selfridge

Research & Engineering

I’m interested in functional programming, programming language design,
and formal methods. At home, I enjoy playing with my kids, spending
time outdoors, playing and listening to music, reading, and


Ben is a software engineer and researcher at Galois with a background
in pure mathematics and applied formal methods. He earned a B.A. in
Mathematics from Bard College, and an M.S. in Computer Science at the
University of Texas at Austin.