FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Viktor Vafeiadis

Registered user since Tue 12 Aug 2014

Name:Viktor Vafeiadis
Bio:

Viktor Vafeiadis is a tenured researcher at the Max Planck Institute for Software Systems (MPI-SWS), working on the semantics and verification of concurrent and persistent programs. Prior to joining MPI-SWS in 2010, Viktor got his PhD from the University of Cambridge (2008), and held postdoc positions at Microsoft Research and at the University of Cambridge. He has received the ACM SIGPLAN John C. Reynolds doctoral dissertation award (2008), an ERC Consolidator Grant (2020), the ACM SIGPLAN Robin Milner young researcher award (2022), and various distinguished paper awards.

Country:Germany
Affiliation:MPI-SWS
Research interests:Concurrency, verification, weak memory consistency, weak persistency

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile