John Sarracino

Researcher, Center for Applied Scientific Computing, Lawrence Livermore National Labs

  • Joined September 2025

Names

John Sarracino (Preferred)

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

Postdoc Advisor
2020 – 2023
 
PhD Advisor
2014 – 2020
 
PhD Advisor
2014 – 2020
 

Expertise

formal methods, AI assurance, software assurance, verification, programming languages, program synthesis
Present