Section: Dissemination

Teaching

• Karthikeyan Bhargavan taught TDs in computer science at Ecole Polytechnique, France

• Graham Steel taught invited Master's lectures at University of Venice, Italy

• Bruno Blanchet taught Master's lectures at the MPRI, France