Senior Researcher
la jolla, california, united states
Certora
Massachusetts Institute of Technology
UC San Diego