Ben Selfridge

Research Engineer

Background

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.

WORK AREAS

No areas found

Stay Connected

PROJECTS

HIPERSPACE

View Project

Fromager

View Project

Articles

What4: New Library to Help Developers Build Verification and Program Analysis Tools

View ARTICLE

Publications

No items found.

‍T 503.626.6616
E contact@galois.com

Portland, OR
421 SW 6th Avenue, Suite 300
Portland, Oregon 97204

‍Arlington, VA
901 N Stuart Street, Suite 501
Arlington, Virginia 22203

‍Minneapolis, MN
111 Third Avenue South, Suite 350
Minneapolis, MN 55401

‍Dayton, OH
444 E 2nd Street
Dayton, Ohio 45402

© Copyright Galois, Inc. 2024. All Rights Reserved | Terms of Use | Privacy Policy