John Sarracino

John Sarracino is a Formal Methods/Binary Analysis Research Scientist at Lawrence Livermore National Laboratory since October 2023. Previously, John served as an Applied Formal Methods Security Research Consultant at Bloomberg, where research prototypes for certified algorithms and parsers were developed to enhance security in low-level platform code. John's academic background includes a Ph.D. in Computer Science from UC San Diego, where also a Master's and a Candidate in Philosophy degree were earned. John's research experience encompasses work as a Postdoctoral Associate at Cornell University and a Graduate Teaching Assistant at the University of California, San Diego, along with research internships at Galois, Inc., UC Santa Barbara, and research assistant roles during undergraduate studies at Harvey Mudd College. The areas of focus include applied program synthesis and secure parsers for dynamic languages.