Ari Fogel
Undergraduate Research Assistant
United States
Summary
🤩
Rockstar🎓
Top SchoolAri Fogel is a research-driven software engineer with 11 years of experience spanning network validation, static analysis, and systems-level programming, who has moved between academia, industry research, and startup leadership. He co-founded Intentionet to build advanced tools for network availability, security, and performance, later contributing to large-scale engineering at AWS and research projects at Microsoft and UCLA. His work blends formal modeling and practical tooling—network configuration modeling, Monte Carlo simulation for precision spectrography, and embedded/low-level development in C/C++ and assembly. Ari pairs a PhD-level research background with hands-on experience across Active Directory, BGP, .NET, and Linux toolchains, and has taught and mentored at the university level. Based in the United States and currently engaged in experimental physics software at CENPA, he brings an unusual mix of network protocol expertise and instrumentation-focused simulation. Colleagues describe him as someone who converts deep theoretical insight into deployable diagnostics and verification tools.
11 years of coding experience
14 years of employment as a software developer
Bachelor of Science - BS, Physics, Bachelor of Science - BS, Physics at University of WashingtonMaster of Science (M.S.), Computer Science and Engineering, Master of Science (M.S.), Computer Science and Engineering at State University of New York at BuffaloDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of California, Los Angeles
Github Skills (122)
continuation10
parser10
json-data10
python10
network-analysis10
windows10
traceroute10
security10
python-client10
correctness10
arm10
cpp10
emulation10
plsql10
network-configuration10
Programming languages (11)
Github contributions (5)
batfish-org/batfish
Mar 2016 - Nov 2022
Contributions:2452 commits, 6 pushes in 6 years 8 months
batfish/z3
Jan 2018 - May 2020
The Z3 Theorem Prover
Contributions:3 releases, 8 PRs, 18 pushes in 2 years 4 months
provertheoremtheorem-provertheorem-provingsat-solver
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.