Artem Agvanian
Software Engineer at Google
Greater Seattle Area United States
Summary
🤩
Rockstar🎓
Top SchoolArtem Agvanian is a software engineer focused on building secure, private, and trustworthy systems, currently working on Core Data Foundations & Slicer at Google after a research-heavy tenure at Brown University. With nine years of experience and a strong background in automated reasoning from an AWS internship, he has shipped verifier extensions for Rust that dramatically sped up correctness checks and proved absence of uninitialized memory in real-world abstractions. At Brown he contributed to ETOS projects like Sesame and K9db that blend systems engineering with privacy-by-design, and he has taught courses on privacy-conscious systems and cryptography. Based in the Greater Seattle Area, Artem combines rigorous academic training (BS/MS from Brown) with practical verification and systems engineering skills that bridge research and production.
9 years of coding experience
3 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at Brown UniversityIB Diploma, Mathematics, Economics and Global Politics, IB Diploma, Mathematics, Economics and Global Politics at UWC Red Cross Nordic
Russian, Ukrainian, English, Norwegian
Github Skills (52)
rust-lang10
verification10
model-checking10
standard-library10
compiler10
rust10
crate9
allocator9
garbage-collection9
rust-language9
react8
android8
sanity8
react-native7
javascript7
Programming languages (8)
Github contributions (5)
artemagvanian/website
Jul 2020 - Dec 2024
My personal website
Contributions:15 pushes, 1 branch in 4 years 5 months
reactnextjs
artemagvanian/kani
Jun 2024 - Feb 2025
Kani Rust Verifier
Contributions:16 PRs, 366 pushes, 58 branches in 8 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.