Áron Ricardo Perez-Lopez
PhD Candidate
Palo Alto, California, United States
Summary
🤩
RockstarÁron Ricardo Perez-Lopez is a PhD candidate based in Palo Alto with nine years of experience focused on formal verification and software engineering. He combines rigorous academic research with practical coding fluency, bringing formal methods to bear on real-world software reliability challenges. Located in the heart of Silicon Valley, he bridges research and industry perspectives and is comfortable navigating complex verification toolchains. His GitHub presence emphasizes sustained research-driven contributions rather than flashy projects, reflecting deep domain expertise. Colleagues can expect a detail-oriented problem solver who values provable correctness and reproducible results.
9 years of coding experience
Github Skills (166)
parallel10
python10
satisfiability10
abstraction10
hyperparameter-optimization10
mlops10
deep-learning10
automl10
linter10
extensible10
ray10
optimization10
static-analysis10
stubs10
mypy10
Programming languages (13)
Github contributions (5)
MITMUNC/mitmunc-website
Feb 2018 - Jul 2020
Website for the MIT Model United Nations Conference
Contributions:209 commits, 58 PRs, 143 pushes in 2 years 5 months
nationsmitunited-nationsmodel-united-nations
TheMITTech/classics
Dec 2018 - Jan 2019
The Internet Classics Archive hosted at http://classics.mit.edu/
Contributions:1 review, 9 commits, 1 PR in 1 month
hostedarchiveinternetmojoliciouscreative-commons
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.