Program committee



Name Affiliation
Zoe Paraskevopoulou Princeton University
Yves Bertot Inria and Université Cote d'Azur
Toby Murray University of Melbourne
Thomas Bauereiss University of Cambridge
Sylvie Boldo Inria
Steve Zdancewic chair University of Pennsylvania
Sophie Tourret Inria
Simon Foster University of York
Ralf Jung MPI-SWS
Qinxiang Cao Shanghai Jiao Tong University
Mohammad Abdulaziz Technische Universität München
Mauricio Ayala-Rincon Universidade de Brasilia
Laura Titolo National Institute of Aerospace
Lars Birkedal Aarhus University
Kathrin Stark Princeton University
Joseph Tassarotti Boston College
John Harrison Amazon Web Services
Joe Hendrix SRI International
Jeehoon Kang KAIST
Hongjin Liang Nanjing University
Hira Taqdees Syeda Amazon Web Services
Gregory Malecha BedRock Systems
Freek Wiedijk Radboud University Nijmegen
Freek Verbeek Open University of the Netherlands, The Netherlands
Floris van Doorn University of Pittsburgh
Eveleyne Contejean CNRS
Dmitriy Traytel University of Copenhagen
Cezary Kaliszyk University of Innsbruck
Brigitte Pientka McGill University
Benjamin Delaware Purdue University
Bas Spitters Aarhus University
Aseem Rastogi Microsoft Research
Armaël Guéneau Aarhus University
Aquinas Hobor National University of Singapore
Andrej Bauer University of Ljubljana
Andrei Popescu chair University of Sheffield
Anders Mörtberg Stockholm University
Alwyn Goodloe NASA Langley Research Center