Santiago Cuellar (Preferred)
Santiago Cuellar
Principal Researcher, Galois, Inc
Joined
September 2025
Names
Emails
****@galois.com (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Principal Researcher
Galois, Inc (galois.com)
2020 – Present
PhD student
Computer Science, Princeton University (princeton.edu)
2013 – 2020
Advisors, Relations & Conflicts
Expertise
Formal Verification
2011 – Present
Semantics
2011 – Present
Compilers
2011 – Present