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
meditating.
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.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.