Viktor Vafeiadis
Faculty at Max Planck Institute for Software Systems
Mannheim, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolViktor Vafeiadis is a computer scientist and faculty researcher at the Max Planck Institute for Software Systems with nine years of focused experience in verification of concurrent programs, relaxed-memory models, and verified compilers. He has co-developed multiple concurrent program logics (RGSep, deny-guarantee, CAP, RSL, GPS, OGRA), verification tools (SmallfootRG, Cave), and verified compilers (Pilsner, CompCertTSO, SepCompCert), bridging deep theory with mechanized proofs. His work combines interactive theorem proving with practical tool-building, notably adapting sequential verified compilers to relaxed concurrent settings. Trained at Cambridge (BA, PhD), he has a track record of collaborations with leading groups including Microsoft Research and supervisors like Peter Sewell and Byron Cook. Based in Mannheim, Germany, he brings a rare blend of formal-methods rigor and hands-on implementation that improves the reliability of concurrent systems.
10 years of coding experience
3 years of employment as a software developer
Bachelor of Arts (BA), Computer Science, Bachelor of Arts (BA), Computer Science at University of Cambridge
Greek, English, French, German
Github Skills (16)
coq-library9
virtual-machine8
code-generation8
optimization7
shared-memory7
abstraction6
llvm6
checker5
coq5
concurrent5
verification4
concurrency4
model-checking4
memory-model3
parallel-computing3
Programming languages (5)
Github contributions (5)
vafeiadis/hahn
Jul 2016 - Mar 2022
Hahn: A Coq library
Contributions:103 commits, 21 PRs, 95 pushes in 5 years 9 months
coq-library
vafeiadis/arm-model
Apr 2021 - Jun 2021
Contributions:5 commits, 4 pushes, 1 branch in 2 months
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.