Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
-
Claudia Diaz from KUL visited the group from 1-2 March and gave a seminar “Designing Mix-nets”
-
Peter Schwabe visited Inria Paris on 11 April; he gave a seminar: From NewHope to Kyber.
-
Joseph Bonneau (Stanford University) visited Inria on 20 April 2017, he gave a seminar: Public randomness, blockchains and proofs-of-delay
-
Stefan Ciobaca (Alexandru Ioan Cuza University of Iași, Romania) visited Inria Paris on 15 May 2017; he gave a seminar: The RMT Tool for Rewriting Modulo Theories.
-
Ana Nora Evans (University of Virginia) joined Inria as a Visiting Scientist Apr–Aug 2017; she gave a seminar: Using Verified Software Fault Isolation for a Formally Secure Compiler.
-
David Evans (University of Virginia) joined Inria as a Visiting Scientist Apr–Aug 2017; he gave a seminar: Can Machine Learning Work in the Presence of Adversaries?
-
Jean Yang (CMU) visited Inria Paris on 6 June 2017; she gave a seminar: Policy-Agnostic Programming for Database-Backed Applications.
-
Amal Ahmed (Northeastern University) joined Inria as a Visiting Professor from September 2017; she gave a seminar: Prosecco Seminars: Compositional Compiler Verification for a Multi-Language World.
-
Aaron Weiss (Northeastern University) joined Inria as a Visiting Scientist from September 2017.
-
Amin Timany (KU Leuven) visited Inria Paris 6-8 December 2017; he gave a seminar: A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST.
-
Eric Rescorla visited Prosecco to discuss the design of TLS 1.3.
Internships
-
Benjamin Lipp: Dec 2017 until May 2018, supervised by B. Blanchet, K. Bhargavan, and H. Halpin
-
Iness Ben Guirat: Masters student 2017, supervised by H. Halpin
-
Carmine Abate (University of Trento): Dec 2017 until May 2018
-
William Bowman (Northeastern University): Oct 2017 until Dec 2017
-
Keith Cannon (American University Paris): Mar 2017 until Sep 2017