HB
Safe and correct software.
Competition record
Education
Princeton University
Doctor of Philosophy - PhD · Computer Science
Princeton University
Master of Arts - MA · Computer Science
Massachusetts Institute of Technology
Bachelor of Science (B.S.) · Mathematics
Work
Galois, Inc.
Principal Scientist
Galois, Inc.
Research Engineer
Princeton University
PHD Student
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
Project Assistant
We Are Cloud
Intern
MIT Media Lab
Software development
MIT OpenCourseware
Professor's assistant
Olimpiadas Colombianas de Matematicas
Teacher
Sources & notes
Professional information comes from a saved LinkedIn profile indexed 15 August 2026. Affiliations have not been independently rechecked. “Listed current” reflects the source record. Education end dates may be expected graduation dates.
How this collection was made ↗