Vitalii Mordan
Scientific Researcher at ISPRAS (Russian Academy of Sciences)
Argentina
Summary
👤
Senior🎓
Top SchoolVitalii Mordan is a Scientific Researcher and software verification engineer with a Ph.D. in Computer Science and over 11 years of experience applying formal methods, model checking, and testing to real-world operating systems and large software projects. He has driven practical verification work at ISPRAS—finding concurrency bugs in projects like PostgreSQL, QEMU and the Linux kernel—and led tools and frameworks such as a Continuous Verification Visualizer and a Continuous Verification Framework for real-time OSes. His research contributions include five peer-reviewed papers, five granted patents, and techniques that were integrated into CPAchecker and the Linux Driver Verification Project. Equally fluent in low-level system programming (C/C++, OS internals) and modern stacks (Python, Java, JavaScript, Docker), he blends deep academic rigour with production engineering. Based in Argentina, he is focused on R&D and AI-assisted verification, exploring how machine learning and automation can speed up bug detection and continuous assurance. A less obvious strength is his track record of turning verification research into actionable tooling and patches that directly improved industrial codebases.
10 years of coding experience
4 years of employment as a software developer
Lomonosov Moscow State University
Spanish, Russian, English
Github Skills (10)
kernel10
embedded10
time-management10
clock10
driver10
device-driver10
c-programming10
linux-kernel10
sys10
networking8
Programming languages (3)
Github contributions (5)
mutilin/klever
Nov 2018 - Jun 2023
Klever Git repository read-only mirror
Contributions:3 reviews, 4 PRs, 237 pushes in 4 years 8 months
hacklanggit-repositorylibgit2read-only
vmordan/sv-benchmarks
Mar 2017 - Dec 2023
Collection of Verification Tasks
Contributions:1 push, 1 branch in 6 years 10 months
securityverification
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.