John Sarracino
Formal Methods Binary Analysis Research Scientist at Lawrence Livermore National Laboratory
Livermore, California, United States
Summary
👤
Senior🎓
Top SchoolJohn Sarracino is a Formal Methods and Binary Analysis Research Scientist with nine years of experience, currently applying programming languages research at Lawrence Livermore National Laboratory. He holds a Ph.D. in Computer Science from UC San Diego and a BS in Mathematics/Computer Science from Harvey Mudd, combining deep theoretical grounding with practical expertise in analyzing and verifying compiled binaries. His work sits at the intersection of formal methods, program analysis, and low-level systems, bringing rigor to security- and correctness-critical codebases. Based in Livermore, CA, he maintains an active academic presence—his Cornell page highlights ongoing research projects and publications that informed his transition from doctoral research to national-lab scale problems.
9 years of coding experience
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at University of California San DiegoDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of California, San DiegoBachelor of Science (B.S.), Mathematics/Computer Science, Bachelor of Science (B.S.), Mathematics/Computer Science at Harvey Mudd College
Github Skills (44)
semantics10
agda9
equivalence9
homotopy-type-theory8
theorem-proving8
coq8
formal-semantics7
width6
sat-solver6
mathematical6
dependent-types6
proof-assistant6
fixed-width5
sat5
base625
Programming languages (10)
Github contributions (5)
verified-network-toolchain/leapfrog
Nov 2021 - Aug 2022
Certified Equivalence for Protocol Parsers
Contributions:166 commits, 1 PR, 12 pushes in 9 months
certifiedparsersequivalence
jsarracino/spyder
Dec 2017 - Feb 2022
Contributions:104 commits, 66 pushes, 4 branches in 4 years 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.