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 (58)
proof-assistant10
tlaplus10
tla10
datalog10
compcert10
formal-methods10
coq-library10
scripting10
verification10
proof10
model-checking10
sat-solver10
formal-verification10
coq10
toolchain10
Programming languages (10)
Github contributions (5)
scuellar/NewCompCert
Jan 2018 - Nov 2019
Contributions:1 PR, 54 pushes, 8 branches in 1 year 9 months
scuellar/emacs.d
Dec 2020 - Sep 2022
Contributions:1 push, 2 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.