John Sarracino (Preferred)
John Sarracino
Researcher, Center for Applied Scientific Computing, Lawrence Livermore National Labs
Joined
September 2025
Names
Emails
****@llnl.gov (Confirmed)
****@gmail.com
****@hmc.edu
****@cs.ucsd.edu
****@cornell.edu
Personal Links
Career & Education History
Researcher
Center for Applied Scientific Computing, Lawrence Livermore National Labs (llnl.gov)
2024 – Present
Postdoc
Computer Science, Department of Computer Science, Cornell University (cs.cornell.edu)
2020 – 2023
PhD student
Computer Science and Engineering, UC San Diego, University of California, San Diego (cs.ucsd.edu)
2014 – 2020
Advisors, Relations & Conflicts
Expertise
formal methods
, AI assurance
, software assurance
, verification
, programming languages
, program synthesis
Present