Summer School in Software Engineering and Verification

Selection Committee


Sergey AvdoshinHigher School of EconomicsRussia
Svetlana ChumachenkoKharkov National University of Radioelectronics Ukraine
Vladimir HahanovKharkov National University of Radioelectronics Ukraine
Vladimir ItsyksonSt. Petersburg State Technical UniversityRussia
Ilya KlyuchnikovM.V.Keldysh Institute of Applied Mathematics RASRussia
Boris KonevUniversity of LiverpoolUK
Victor Kuliamin Institute for System Programming RASRussia
Fedor Murzin Ershov Institute of Informatics Systems RASRussia
Alexander Petrenko Institute for System Programming RASRussia
Andrei Sabelfeld Chalmers UniversitySweden
Vladimir Safonov St. Petersburg State UniversityRussia
Natasha SharyginaUniversity of Lugano Switzerland
Nikolai ShilovNovosibirsk State University Russia
Alexander Smal St Petersburg Academic UniversityRussia
Jennifer TrelewiczMicrosoftRussia