Armin Vakil
PHD Student at University of Michigan
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 (15)
verification9
boogie8
simulation6
programming-language6
dafny6
compiler4
computer-architecture4
visual-studio-code-extension2
visual-studio-code1
ide1
vscode1
gitpod1
vscode-extension1
devcontainer1
theia1
Programming languages (5)
Github contributions (5)
arminvakil/arminvakil.github.io
Sep 2019 - Sep 2024
Contributions:15 pushes, 1 branch in 5 years 1 month
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.