Skills Matrix
‹ Back to Team Roster
IV

Ilia Vlasov

Notion sync ✓ 4 days ago
Formal Verification Engineer·Synnax Lamport
Role
Formal Verification Engineer
Team
Synnax Lamport
Primary: Infra & DevOps
Manager
Julian Sutherland
Tenure
4 years
Joined Mar 2022
Skills rated
21
Avg 1.8 · 6 stacks
Email
[email protected]
Timezone
Europe/London
Cryptography & ZKPrimary
Stack avg 2.0 · 2 skills
SkillSelfManagerPeer avg
zk-starks3––
SN Core Protocol1––
Backend & Protocol
Stack avg 2.0 · 5 skills
SkillSelfManagerPeer avg
Rust3––
DB design2––
GO2––
p2p/consensus2––
Propose Builder Separation1––
Infra & DevOps
Stack avg 2.0 · 4 skills
SkillSelfManagerPeer avg
Compilers3––
Hardware2––
Embedded2––
DevOps1––
Data & AI
Stack avg 1.8 · 4 skills
SkillSelfManagerPeer avg
Python3––
C2––
C++1––
AI eng1––
Smart Contracts
Stack avg 1.5 · 4 skills
SkillSelfManagerPeer avg
SN Account Abstraction3––
Solidity1––
Cairo1––
SN Full Node/Sequencer Design1––
Frontend & Mobile
Stack avg 1.0 · 2 skills
SkillSelfManagerPeer avg
JS / TS1––
F#1––

Coming soon

Manager-side ratings, peer averages, per-skill evidence, the quarterly check-in summary and project feedback (per PRD §detail) require additional Notion DBs that aren't yet wired in: Skill Ratings (manager column), Peer Reviews (peer averages), Project Feedback. Once those land the empty — chips above will fill in.