skip to content
 

Participants (VSOW01)



Note: This list may not include "Verified software" programme participants whose visits coincide with the workshop.

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
Javier Esparza
Cedric Fournet 
Orna Grumberg  02 August to 22 August
Neel Krishnaswami 
Anil Madhavapeddy  27 July to 04 September
Benjamin Pierce 
Andrey Rybalchenko  27 July to 04 September
Sanjit Seshia 
Zhong Shao  02 August to 15 August
Glynn Winskel 
Aws Albarghouthi 
Rajeev Alur
Anindya Banerjee 
Gilles Barthe 
Joshua Berdine
Dirk Beyer  30 July to 16 August
Nikolaj Bjorner 02 August to 22 August
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
Azadeh Farzan
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
Zachary Kincaid 
Shriram Krishnamurthi  31 July to 22 August
Viktor Kuncak 
Kim Larsen 27 July to 04 September
Xavier Leroy 
Rupak Majumdar 02 August to 22 August
Ken McMillan 27 July to 04 September
Jayadev Misra  02 August to 16 August
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