Arshavir Ter-gabrielyan
Senior Software Engineer And Team Lead, Identity at DFINITY Foundation
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolArshavir Ter-gabrielyan is a Senior Software Engineer and team lead specializing in identity and on-chain governance for the Internet Computer, combining 14 years of industry and research experience to make distributed systems provably secure and reliable. He holds a Ph.D. from ETH Zürich in automated, compositional program verification and has applied those formal methods in production-grade blockchain and runtime verification tooling (including Motoko-san and the Internet Computer’s verification pipeline). Prior roles at Intel and as a researcher focused on ML-driven compiler optimizations and hardware-software co-design give him deep expertise across automatic reasoning, compilers, and architecture. He pairs hands-on backend and DevOps work—such as translating critical production scripts into Rust for the dfinity/ic repository—with a decade-plus of leadership mentoring engineers and shipping developer tools, IDEs, and large-scale distributed test frameworks. Notably, his background spans both precise symbolic techniques (SAT/SMT-based verification and synthesis) and practical ML solutions for noisy, imbalanced data, enabling unique cross-disciplinary approaches to reliability and performance. Based in Zurich, he thrives at the intersection of rigorous research and production engineering, turning formal guarantees into deployable infrastructure.
14 years of coding experience
12 years of employment as a software developer
Dependable Software Systems Engineering, Dependable Software Systems Engineering at International Summer School MarktoberdorfDoctor of Sciences, Computer Science, Doctor of Sciences, Computer Science at ETH ZürichMaster of Science, Optimizing compilers and CAD systems, Master of Science, Optimizing compilers and CAD systems at Moscow Institute of Physics and Technology (State University) (MIPT)
Russian, English, German, Armenian
Stackoverflow
41reputation
415reached
0answers
2questions
Github Skills (8)
rust10
back-end-development10
testing10
unit-testing8
test-automation8
cicd8
dafny6
z36
Programming languages (14)
Github contributions (5)
dfinity/ic
Dec 2021 - Jan 2023
Internet Computer blockchain source: the client/replica software run by nodes
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:1326 reviews, 200 commits, 396 PRs in 1 year 1 month
Contributions summary:Arshavir translated upgrade_reject.sh scripts into upgrade_reject.rs, which likely involved adapting existing prod tests to a new framework. They also contributed to implementing new features with related code changes, testing, and system infrastructure. Additionally, the user made various modifications across different files within the rs/tests directory, suggesting involvement in both backend development and the testing infrastructure of the project.
blockchain
viperproject/viper_client
Jul 2017 - Dec 2020
Contributions:30 commits, 2 pushes in 3 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.