Anthony Hart
Software Engineer at Heliax
Spokane Valley, Washington, United States
Summary
👤
Senior🎓
Top SchoolAnthony Hart is a software engineer with 12 years of experience blending functional programming, formal verification, and data science to build provably correct systems and experimental languages. Comfortable across Haskell, Coq, Agda, Rust, Elixir and Python, he has applied these skills to ZK circuit frameworks, formally verified smart contract stacks, and ML-inflected tooling for decentralized protocols. His work ranges from prototyping in Mathematica to shipping production components like Vamp-IR and contributing to Metamath and other formal-math repositories. Anthony pursues extensional and dependent type-theory designs (inspired by Cedille and PRLs) and often implements languages that can serve as foundations for mathematics. Based in Spokane Valley, he combines research-oriented problem solving with hands-on engineering aimed at automating mathematics and advancing ML applications.
12 years of coding experience
2 years of employment as a software developer
Associate of Science - AS Mathematics, Associate of Science - AS Mathematics at Glendale Community College
Github Skills (115)
feature-engineering10
model-compression10
neural-architecture-search10
nas10
machine-learning-algorithms9
language-agnostic9
hyperparameter-tuning9
hyper9
compression9
parameter-tuning9
blockchain9
automated-machine-learning9
type-theory8
paradigms8
architecture8
Programming languages (14)
Github contributions (5)
AHartNtkn/AHartNtkn.github.io
Aug 2019 - Mar 2024
Attempting to make a blog
Contributions:14 PRs, 421 pushes, 2 branches in 4 years 8 months
typescript
Orbis-Tertius/Coq-Arithmetization
Jun 2022 - Nov 2022
Contributions:133 commits, 6 PRs, 86 pushes in 5 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.