skip to content
 

Participants (VSO)

Name Home Institution Visit Dates
Amal Ahmed  30 July to 14 August
Andrew Appel 
Ahmed Bouajjani 27 July to 15 August
Luca Cardelli  27 July to 04 September
Adam Chlipala  03 August to 10 August
Cristina David  28 July to 04 September
Jasmin Fisher  01 September to 04 September
Orna Grumberg  02 August to 22 August
Neel Krishnaswami 
Anil Madhavapeddy  27 July to 04 September
Annabelle McIver 
Carroll Morgan
Benjamin Pierce 
Bill Roscoe
Andrey Rybalchenko  27 July to 04 September
Sanjit Seshia 
Zhong Shao  02 August to 15 August
Glynn Winskel 
Aws Albarghouthi 
Rajeev Alur
June Andronick  09 August to 21 August
Anindya Banerjee 
Gilles Barthe 
Joshua Berdine
Lennart Beringer  16 August to 04 September
Dirk Beyer  30 July to 16 August
Lars Birkedal
Nikolaj Bjorner 02 August to 22 August
Michael Butler 
Supratik Chakraborthy 
Byron Cook  27 July to 04 September
Laurent COUSOT (GB)  27 July to 04 September
Leonardo de Moura 27 July to 04 September
Javier Esparza
Azadeh Farzan
Jean-Christophe Filliatre  09 August to 29 August
Cedric Fournet 
Philippa Gardner 27 July to 04 September
Patrice Godefroid 
Timothy Griffin 27 July to 04 September
Tony Hoare  27 July to 04 September
Warren Hunt 
Barbara Jobstmann
Dejan Jovanovic  27 July to 04 September
Joost-Pieter Katoen
Zachary Kincaid 
Shriram Krishnamurthi  31 July to 22 August
Viktor Kuncak 
Kim Larsen 27 July to 04 September
Ranko Lazic  09 August to 29 August
Xavier Leroy 
Francesco Logozzo
Rupak Majumdar 02 August to 22 August
Ken McMillan 27 July to 04 September
Jayadev Misra  02 August to 16 August
Peter Müller  09 August to 29 August
Cesar Munoz 
Peter O'Hearn 27 July to 04 September
Lawrence Paulson  27 July to 04 September
Ruzica Piskac 
Andrew Pitts  03 August to 02 September
Tom Reps 
Peter Sewell 27 July to 04 September
Natarajan Shankar 27 July to 04 September
Natasha Sharygina 
Fabio Somenzi 27 July to 14 August
Moshe Vardi 27 July to 04 September
Philip Wadler  02 August to 22 August
Christoph Wintersteiger 27 July to 04 September
James Woodcock  27 July to 15 August
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons