Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
-
Amal Ahmed (Northeastern University, USA) joined Inria as a Visiting Professor from September 2017 to July 2018; she gave a seminar on “Compositional Compiler Verification for a Multi-Language World”.
-
Aaron Weiss (Northeastern University, USA) joined Inria as a Visiting Scientist from September 2017 to July 2018; he gave a seminar on “Rust Distilled: An Expressive Tower of Languages”
-
Justin Hsu (University of Wisconsin–Madison, USA) visited Prosecco on 26 January 2018 and gave a talk entitled “From Couplings to Probabilistic Relational Program Logics”
-
Deepak Garg (MPI-SWS, Germany) visited Prosecco on 21 February and 6 December 2018
-
Marco Patrignani (CISPA, Germany) visited Prosecco on 21 February 2018
-
Arthur Azevedo de Amorim (CMU) visited Prosecco on 10–13 April 2018 and gave a seminar on “The Meaning of Memory Safety”
-
Prasad Naldurg (IBM Research, India) joined Prosecco as a Visiting Researcher from May 2018; he gave a Prosecco seminar on “Encrypted Analytics: Computing directly on encrypted databases”
-
Vincent Gramoli (NICTA/Data61-CSIRO and University of Sydney, Australia) visited Prosecco on 27 June 2018 and gave a seminar on “The Red Belly Blockchain: Speed, Security, Scalability”
-
Éric Tanter (University of Chile) joined Prosecco as Visiting Professor from July 2018 to February 2019; he gave a Prosecco seminar on “Gradual Parametricity, Revisited” and many other talks
-
Andrew Tolmach (Portland State University, USA) visited Prosecco on 2–4 July 2018
-
Ilya Sergey (University College London, UK) visited Prosecco on 5 September 2018 and gave a seminar on “Deductive Synthesis of Programs that Alter Data Structures”
-
Jonathan Aldrich (CMU, USA) visited Prosecco on 22–26 November 2018 and gave a seminar on “Object Capabilities, Effects, and Abstraction”
-
Ștefan Ciobâcă (University of Iași, Romania) visited Prosecco on 3–7 December 2018
-
Amin Timany (KU Leuven, Belgium) visited Prosecco on 3–7 December 2018
-
Cédric Fournet (Microsoft Research, UK) has visited Prosecco on various occasions
-
Jonathan Protzenko (Microsoft Research, USA) has visited Prosecco on various occasions
Internships
-
Benjamin Lipp (Karlsruhe Institute of Technology, Germany): from Dec 2017 to May 2018 – advised by Bruno Blanchet and Karthik Bhargavan
-
Carmine Abate (University of Trento, Italy): from Dec 2017 to May 2018 – advised by Catalin Hritcu
-
Jérémy Thibault (ENS Rennes, France): from Feb to Jul 2018 – advised by Catalin Hritcu
-
Florian Groult (University of Orleans, France): from Apr to Oct 2018 – advised by Catalin Hritcu
-
Guido Martinez (CIFASIS-CONICET Rosario, Argentina): from Sep to December 2018 – advised by Catalin Hritcu
-
Elizabeth Labrada Deniz (University of Chile): from Oct 2018 to January 2019 – advised by Éric Tanter and Catalin Hritcu
-
Iness Ben Guirat (INSAT): from August 2018 to January 2019 – advised by Harry Halpin
Visits to International Teams
-
Catalin Hritcu, Danel Ahman, and Victor Dumitrescu visited Microsoft Research (Redmond, USA) on 5–25 March 2018
-
Catalin Hritcu, Carmine Abate, and Jérémy Thibault visited the MPI-SWS (Saarbrücken, Germany) on 27–28 March 2018
-
Catalin Hritcu visited Draper Labs (Cambridge, MA, USA) on 30 May 2018
-
Karthikeyan Bhargavan, Catalin Hritcu, Danel Ahman, Benjamin Beurdouche, Victor Dumitrescu, Guido Martínez, Denis Merigoux, and Marina Polubelova visited Microsoft Research (Cambridge, UK) for Everest “All-Hands” meeting
-
Harry Halpin visited the NEXTLEAP team meeting (Lausanne, Switzerland) on 15–17th of January.
-
Harry Halpin visited the NEXTLEAP team meeting (Freibourg, Germany) on 21–22nd of November.
-
Harry Halpin visited the final PANORAMIX team meeting (Athens, Greece) on 24–25th of September.