Eric Spencer Bond
@bond15
Graduate Research Intern at Galois, Inc
Badges
Certifications
Work Experience
Graduate Research Intern
Galois•  May 2019 - Present
Working on an Crucible, a symbol execution engine with Sat & SMT backends which performs program verification for a variety of imperative languages. I am working on adding basic linear temporal logic safety properties.
Graduate Research Intern
Lawrence Livermore National Lab•  May 2018 - August 2018
Member of the Data Science Summer Institute 2018. Extended topoMS, a tool for topological data analysis of quantum chemistry simulation data. Worked with lab scientists to extend topoMS for a new form of analysis.
Education
Purdue University
Computer Science, MS•  August 2018 - Present
Masters Thesis: Working on Proof conversion from Coq to Cedille. Both are interactive theorem provers which are built upon different logical calculi. Cedille, rather than Coq, has derivable inductive types from its core calculus.
Purdue University
Computer Science, BS•  August 2013 - December 2017
Math minor
Links
Skills
bond15 has not updated skills details yet.