Alexander Kamkin
Leading Researcher, Project Manager at ISPRAS (Russian Academy of Sciences)
Moscow, Moscow, Russia
Summary
👤
Senior🎓
Top SchoolAlexander Kamkin is a leading researcher and project manager with 14 years of experience in system programming, hardware and software verification, and tool development, currently based at ISPRAS in Moscow. He holds a PhD in Computer Science from Lomonosov MSU and combines deep applied-mathematics rigor with practical engineering to deliver verifiable, production-ready tools. At ISPRAS he progressed from developer to team leader and now leads research projects, bridging academic research with industrial verification needs. He also teaches at Lomonosov MSU and MIPT, mentoring the next generation of systems engineers while staying active in program organization through SYRCoSE. Known for pragmatic solutions to formal verification challenges, he often pairs automated toolchains with lightweight mathematical models to accelerate verification cycles. Colleagues value his ability to translate complex formal methods into usable tools and project plans that deliver measurable results.
14 years of coding experience
11 years of employment as a software developer
Lomonosov Moscow State University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (19)
fpga7
simulation6
tla6
verification5
energy5
particle5
high-energy-physics4
physics-engine3
physics3
security3
security-protocol3
abc1
synthesis1
agda1
automata1
Programming languages (4)
Github contributions (5)
ispras/microtesk-old
Sep 2011 - Dec 2020
Contributions:1071 commits in 9 years 4 months
ispras/riscv-avs
Sep 2019 - Nov 2019
Contributions:10 commits, 8 pushes, 1 branch in 1 month
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.