Skip to content

Scientist · Computer Science

Viktor Vafeiadis

Max Planck Institute for Software Systems, Saarbrücken, Germany

iD0000-0001-8436-0334

Citations, last 5 years: 147
Works, last 5 years: 37
h-index: 42
Citations, all time: 5 220
In Computer Science: #76,934

Research topics

Logic, programming, and type systems189Computer Science
Formal Methods in Verification126Computer Science
Distributed systems and fault tolerance115Computer Science
Software Testing and Debugging Techniques51Computer Science
Parallel Computing and Optimization Techniques44Computer Science

Recent works

Discussion

Ask Viktor about their research. When the scientist claims this card, they will see your question.

Start a discussion