Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
-
Éric Tanter (University of Chile) joined Inria as a Visiting Professor from Jul 2018 to March 2019 and from August to December 2019; he gave various seminars at Inria including one entitled “Gradual Parametricity, Revisited”;
-
Li-yao Xia (University of Pennsylvania) visited Prosecco on 7 January and gave a talk entitled “From C to Interaction Trees”;
-
Matías Toro (University of Chile) visited Prosecco on 9 January and gave a talk entitled “Type-Driven Gradual Security with References”;
-
Deepak Garg (MPI-SWS) visited Prosecco on 29 January and 20 November;
-
Gilles Barthe (MPI-SP) visited Prosecco on various occasions: 29 January, 3–6 June, 9–13 Sept, and 7–9 October 2019;
-
Jeremy Siek (Indiana University) visited Prosecco on 21 February and gave a seminar entitled “Toward Efficient Gradual Typing”;
-
Andrew Tolmach (Portland State University) visted Prosecco on 8–12 April and gave a seminar on “Enforcing C-level security policies using machine-level tags”;
-
Guido Martinez (CIFASIS-CONICET Rosario) visited Prosecco on various occasions: April 15–19, ICFP, 30 September to 12 October
-
Nikos Vasilakis (University of Pennsylvania) visited Prosecco on 15–19 July and gave a seminar on “Retrofitting Security, Module by Module”;
-
Kevin Liao (MPI-SP) visited Prosecco on various occasions and gave a seminar on “ILC: A Calculus for Composable, Computational Cryptography”;
-
Tahina Ramananandro (Microsoft Research) visited Prosecco on 30 September to 15 October and gave a seminar on “EverParse”;
-
Nik Swamy (Microsoft Research) and Aymeric Fromherz (CMU) visited Prosecco from 7–11 October and gave a seminar on “Verifying a mixture of C and assembly code with Low* and Vale”;
-
Jonathan Protzenko (Microsoft Research) visited Prosecco on 30 September to 15 October and gave a seminar on “The EverCrypt verified cryptographic provider”;
-
Jakob von Raumer (University of Nottingham) visited Prosecco on 23 October and gave a seminar on “Indexed Inductive Types”;
-
Bas Spitters (COBRA, Aarhus University) visited Prosecco on 25–29 November and gave a seminar on “ConCert: A Smart Contract Certification Framework in Coq”;
-
Adrien Koutsos (MPI-SP) visited Prosecco on 5 November and gave a talk on “5G-AKA authentication protocol privacy”;
-
Shin-ya Katsumata (NII, Tokyo, Japan) visited Prosecco on 25–28 November;
-
Ian Miers (Johns Hopkins University) visited Prosecco on 29 November and gave a seminar on “Zcash, Blockchains, and the possibilities for formal verification with zero-knowledge”;
Internships
-
Antoine Van Muylder (Paris 7): from April to September 2019 – advised by Catalin Hritcu, Exequiel Rivas, and Kenji Maillard
-
Guillaume Gette: from April to September 2019 – advised by Karthikeyan Bhargavan
-
Mikhail Volkhov: from April to August 2019 – advised by Karthikeyan Bhargavan and Prasad Naldurg