Ana Evans
Chief Executive Officer at Blue Ridge Boost
Charlottesville, Virginia, United States
Summary
👤
Senior🎓
Top SchoolAna Evans is a CEO and educator with over a decade of experience teaching mathematics and computer science across K–college levels and running Blue Ridge Boost, a tutoring company that blends rigorous math curriculum with practical software engineering instruction. Her background combines advanced study in mathematics and computer science with hands-on research in software security and compilers from a lengthy tenure at the University of Virginia, where she published on secure compilation and testing oracles for autonomous systems. She has taught everything from Algebra and AMC coaching to university-level courses and led projects developing domain-specific languages and analysis tools for Rust and AV testing. Based in Charlottesville, she pairs classroom pedagogy with research-grade technical skills, making abstract concepts accessible and immediately applicable to coding and problem solving. Notably, her research contributions include a Rust unsafe-analysis tool and a compiler backend employing software fault isolation—work that bridges theory and practical tool-building. She brings entrepreneurial leadership, curriculum design, and a researcher’s attention to rigor to tutoring, course development, and educational technology.
10 years of coding experience
5 years of employment as a software developer
Master of Science - MS, Mathematics, Master of Science - MS, Mathematics at University of Virginia
Github Skills (5)
coq6
cargo4
rust4
rust-language2
rust-lang1
Programming languages (7)
Github contributions (5)
blueridgeboost/blueridgeboost.github.io
Dec 2021 - Mar 2025
Molding Math Maestros and Crafting Computing Champions
Contributions:905 PRs, 1096 pushes, 3 branches in 3 years 3 months
mathmathematicsphoneticswolfram-languagecrafting
ananevans/ananevans.github.io
Apr 2017 - Aug 2023
Contributions:106 pushes, 1 branch in 6 years 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.