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.
9 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)
query-language10
coq-library9
coq9
polymorphism9
semantics7
continuation6
checker6
verification4
concurrent4
abstraction4
electrical-engineering4
model-checking4
concurrency3
llvm2
parallel-computing2
Programming languages (3)
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
polymorphismcoqcoq-libraryquery-language
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.