Eion Blanchard
Data Scientist 2
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolEion Blanchard is a data scientist with a Ph.D. in Mathematics and 11 years of experience applying theoretical computer science, algorithms, and statistical methods to real-world systems. At Microsoft he has translated deep research into production safeguards—automating detection of SOC issues that prevented widespread VM reboots and building low-false-positive anomaly monitors for cloud OS maintenance. His background spans research internships and postdoctoral work on fairness in redistricting, quantum error decoding, and election security, demonstrating a rare blend of formal proof verification (Lean/Walnut) and pragmatic engineering in Python and C++. Based in Seattle, he mentors teams, designs course curricula in linear algebra for data science, and brings a strong interest in voting systems and complexity theory to production-scale problems. An under-the-radar strength is his experience mechanizing mathematical correctness for high-stakes domains, bridging rigorous theory and deployable tooling.
11 years of coding experience
2 years of employment as a software developer
Study Abroad Budapest Semesters in Mathematics, Study Abroad Budapest Semesters in Mathematics at Eötvös Loránd UniversityDoctor of Philosophy - PhD Mathematics, Doctor of Philosophy - PhD Mathematics at University of Illinois Urbana-ChampaignBachelor of Science - BS Mathematics, Bachelor of Science - BS Mathematics at University of Florida
Github Skills (26)
artifact9
azure8
python8
voting8
elections8
limiting8
verifiable8
development-kit8
qdk8
markdown7
publish7
governance7
quantum-computing7
mkdocs6
microsoft6
Programming languages (5)
Github contributions (5)
eionblanc/electionguard-python
Jun 2022 - Aug 2022
A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections as well as privacy-enhanced risk-limiting audits.
Contributions:2 PRs, 66 pushes, 11 branches in 1 month
verifiablepythonelectionguardend-to-endelections
eionblanc/RunDMCMC
Jun 2018 - Jul 2020
Monte-Carlo exploration of districting plans
Contributions:2 pushes in 2 years
planscrossworddataminingmonte-carlocarlo
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.