Dmitri Vlasov
Verification Engineer
Novi Sad, Vojvodina, Serbia
Summary
👤
Senior🎓
Top SchoolDmitri Vlasov is a verification engineer and compiler builder with eight years of industry experience and a deep academic background (PhD in algebra and mathematical logic). He develops and verifies FPGA projects using Verilog/SystemVerilog, while also creating functional language tooling and runtime systems informed by prior work on an LLVM-based PHP compiler. Dmitri blends formal methods and practical engineering—proving correctness where possible and increasingly leveraging AI to accelerate both verification and compiler development. His career spans research at the Sobolev Institute through high-load systems at RhythmOne and production compiler/runtime work at Parallels, reflecting comfort across theory and large-scale engineering. Based in Novi Sad, Serbia, he is notable for pairing rigorous mathematical training with hands-on system design, including memory managers, garbage collectors, and associative container algorithms.
8 years of coding experience
18 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Algebra and mathematical logic, Doctor of Philosophy (Ph.D.), Algebra and mathematical logic at Sobolev Institute of MathematicsMaster of Science (MS), mathematics, logic, 4.97, Master of Science (MS), mathematics, logic, 4.97 at Novosibirsk State University (NSU)130
English
Stackoverflow
1reputation
0reached
0answers
0questions
Github contributions (5)
Dmitriy0111/nanoFOX
Nov 2018 - Aug 2019
Contributions:160 commits, 158 pushes, 16 branches in 9 months
Dmitriy0111/vcv_sv
Jun 2019 - Jun 2022
Contributions:26 commits, 16 pushes in 3 years
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.