Alexey Trilis
Team Lead at Pruvendo
Yerevan, Armenia
Summary
🤩
Rockstar🎓
Top SchoolAlexey Trilis is a Team Lead based in Yerevan with nine years of experience advancing verification and software engineering across startups and research-driven teams. He rose through verification roles at Pruvendo to lead its engineering efforts, pairing hands-on testbench and system validation skills with team management. His background includes practical product development at JetBrains and academic teaching roles, reflecting a blend of industrial rigor and commitment to mentoring. With a Master's in Computer Science from Higher School of Economics, he brings strong formal training to pragmatic engineering decisions and a demonstrated ability to transition from individual contributor to leader within fast-moving teams. Notably, he balances applied verification expertise with classroom experience, suggesting an aptitude for documenting and communicating complex technical concepts.
9 years of coding experience
3 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Higher School of Economics
Github Skills (56)
kotlin10
proof-assistant10
programming-language10
dependent-types10
agda10
intellij10
executable10
kotlin-js10
converter10
proofs10
maven-plugin10
typescript10
mathematical10
intellij-idea10
sat-solver10
Programming languages (10)
Github contributions (5)
trilis/au-java
Jan 2019 - Jun 2019
Contributions:18 PRs, 55 pushes, 21 branches in 4 months
liorgonnen/dukat
Dec 2019 - May 2020
Converter of <any kind of declarations> to Kotlin external declarations
Contributions:59 commits in 5 months
declarationskotlinexternal-declarationsconverter
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.