Eric Bond
PHD Student at University of Michigan
Ann Arbor, Michigan, United States
Summary
👤
Senior🎓
Top SchoolEric Bond is a PhD student and formal methods researcher with a decade of experience applying interactive theorem provers and functional programming to real-world verification problems. He has held lead and senior research scientist roles at Two Six Technologies and built formal proofs of hardware accelerator primitives using Coq, Isabelle, Agda, and AutoCorres. Prior work includes functional Scala engineering at 47 Degrees, research internships at Galois and LLNL, and practical systems development at Amazon, giving him a rare blend of applied research and production software experience. His research at the University of Michigan focuses on categorical logic and type theory under Prof. Max New, grounding his tool-building in deep mathematical foundations. A polyglot programmer and math enthusiast, he seeks to make code mathematically sound and mechanized, often leveraging Haskell and type-level techniques beyond standard verification stacks. He also publishes tooling and notes publicly (gist/github: bond15), signaling a commitment to reproducible research and open collaboration.
9 years of coding experience
6 years of employment as a software developer
Core 40 with Academic Honors, Core 40 with Academic Honors at Fishers High SchoolMaster of Science - MS (incomplete), Computer Science, Master of Science - MS (incomplete), Computer Science at Purdue University
Spanish
Stackoverflow
21reputation
237reached
0answers
2questions
Github Skills (50)
markdown10
gitpod10
github-pages10
jekyll10
simulation9
api9
imperative9
binary-decision-diagrams8
physics8
scala8
verification7
phonetics7
factorization7
outlook6
jupyter-notebook6
Programming languages (10)
Github contributions (5)
bond15/Presentations
Sep 2019 - Jan 2022
Contributions:13 commits, 13 pushes, 1 branch in 2 years 3 months
bond15/bond15.github.io
Jul 2019 - Dec 2023
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Contributions:1 PR, 44 pushes, 1 branch in 4 years 6 months
templategithub-pages-templatemmistakesmistakesjekyll
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.