Quinn Dougherty
Research Engineer at Galois, Inc.
Washington, District of Columbia, United States
Summary
🤩
Rockstar🎓
Top SchoolQuinn Dougherty is a research engineer with eight years of software and formal-methods experience, currently helping AI-safety organizations navigate the explosion of formal verification at Forall R&D while also contributing to Beneficial AI Foundation and Galois. They blend practical engineering—full‑stack work, Docker/DevOps, and UI/UX improvements on projects like the well-known CHIME COVID hospital impact dashboard—with deep formal skills (Coq programming, logician roles) applied to controlling powerful AI. Based in Washington, D.C., Quinn has moved fluidly between research and production, from emulating vnTinyRAM in Coq to building probabilistic tooling at Squiggle. They favor direct contact (quinn@for-all.dev or Signal) and maintain a low bar for outreach, reflecting a collaborative, service-oriented approach to high-stakes technical problems.
8 years of coding experience
4 years of employment as a software developer
Mathematics, Mathematics at Community College of PhiladelphiaData Science, Data Science at Lambda School
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (12)
dashjs10
python10
dockers9
front-end-development9
docker9
gunicorn9
ecology8
vi8
covid-testing8
co8
ui-design7
devops7
Programming languages (23)
Github contributions (5)
CodeForPhilly/chime
Mar 2020 - Apr 2020
COVID-19 Hospital Impact Model for Epidemics
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:36 commits, 103 PRs, 146 pushes in 15 days
Contributions summary:Quinn primarily focused on updating and maintaining the CHIME dashboard application. Their work involved refactoring the frontend visualizations and adding data download capabilities, indicating involvement in UI/UX. They also made changes to the backend, specifically the Dash application initialization and deployment setup. The commits also included changes to the Dockerfile, suggesting some DevOps involvement.
pennhospitalepidemicsepidemiologycode-for-philly
quinn-dougherty/squiggle
Aug 2022 - Nov 2023
An estimation language | my fork to set up hercules
Contributions:121 PRs, 145 pushes, 67 branches in 1 year 3 months
estimationset-uphercules
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.