Santiago Cuellar

Principal Researcher, Galois, Inc

  • Joined September 2025

Names

Santiago Cuellar (Preferred)

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

PhD Advisor
2013 – 2020
 

Expertise

Formal Verification
2011 – Present
 
Semantics
2011 – Present
 
Compilers
2011 – Present