Santiago Cuellar

Santiago Cuellar is a Research Engineer at Galois, Inc. since April 2020, with a strong foundation in formal methods to enhance computer security, focusing on programming languages, theorem proving automation, and certified programming. Santiago completed a PhD and a Master of Arts in Computer Science at Princeton University from 2013 to 2020, and previously worked as a Project Assistant at MIT CSAIL, where a verified compiler for a C-like language was developed. Early experience includes algorithm optimization and software development at We Are Cloud, digital restoration software development for Mark Rothko's murals at MIT Media Lab, and teaching advanced problem-solving techniques to top mathematics students at the Olimpiadas Colombianas de Matematicas. Santiago holds a Bachelor of Science in Mathematics from MIT.