Armin Vakil
United States
Summary
👤
Senior🎓
Top SchoolArmin Vakil is a PhD student in Computer Science at the University of Michigan with 11 years of software engineering and research experience focused on formal verification and making distributed systems easier to verify. His background spans academic research roles at Penn State and practical engineering at Google, plus early systems development work designing embroidery software, reflecting a blend of theoretical rigor and hands-on implementation. He combines deep formal methods expertise with real-world system-building skills, aiming to bridge proof techniques and deployable distributed systems. Based in the United States, he brings hardware engineering foundations from Sharif University of Technology to inform his systems-oriented approach to verification.
11 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of MichiganDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Penn State UniversityHigh School Diploma, Mathematics, High School Diploma, Mathematics at Salam YousefAbadBachelor of Science - BS, Computer Hardware Engineering, Bachelor of Science - BS, Computer Hardware Engineering at Sharif University of Technology
Persian, English
Github Skills (8)
verification8
boogie8
simulation6
programming-language6
dafny6
computer-architecture5
ide1
vscode1
Programming languages (5)
Github contributions (5)
arminvakil/arminvakil.github.io
Sep 2019 - Jul 2025
Contributions:16 pushes, 1 branch in 5 years 11 months
GLaDOS-Michigan/dafny-holeEval
May 2022 - Sep 2024
Contributions:2 PRs, 69 pushes, 2 branches in 2 years 4 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.