Santiago Cuellar
Principal Scientist at Galois, Inc.
Washington, District of Columbia, United States
Summary
👤
Senior🎓
Top SchoolSantiago Cuellar is a Principal Scientist with 12 years of experience applying formal methods to improve computer security, specializing in programming language design, theorem-proving automation, and certified programming. He progressed from PhD research at Princeton to research engineering and leadership roles at Galois, bringing a blend of deep theory and practical implementation to secure systems. Santiago’s background in mathematics (MIT) and advanced computer science research equips him to bridge rigorous proofs with real-world software engineering. Colleagues describe him as the kind of engineer who turns formal guarantees into usable toolchains rather than leaving them as purely academic results. Based in Washington, D.C., he focuses on building verifiable, auditable implementations that harden critical software stacks.
12 years of coding experience
7 years of employment as a software developer
Bachelor of Science (B.S.) Mathematics, Bachelor of Science (B.S.) Mathematics at Massachusetts Institute of TechnologyDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Princeton University
French, English, Spanish
Github Skills (46)
proof-assistant10
compcert10
formal-methods10
coq-library10
verification10
proof10
formal-verification10
coq10
toolchain10
scripting9
datalog9
c-compiler9
sat-solver9
scripting-language9
compiler8
Programming languages (11)
Github contributions (5)
scuellar/emacs.d
Dec 2020 - Jan 2026
Contributions:2 pushes, 2 branches in 5 years 1 month
scuellar/NewCompCert
Jan 2018 - Nov 2019
Contributions:1 PR, 54 pushes, 8 branches in 1 year 9 months
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.