International Joint Units

JFLI
MAJULAB
  • Partners: National University of Singapore, Nanyang Technological University
  • Coordinator for Quantum Computer Science axis: Miklos Santha

International Associated Laboratories

FILOFOCS
INFINIS
STRUCO

International Research Network

LL
  • French partners: Université Paris Diderot, Aix-Marseille Université, Ecole Centrale de Marseille, Ecole Normale Supérieure de Lyon
  • Italian partners: Università Degli Studi Roma Tre, Università di Bologna, Università Degli Studi di Torino
  • Coordinator: Thomas Ehrhard

Joint Research Projects

ACCA
  • Constraint Analysis through Analytic Combinatorics
  • Partner: Technische Universität Wien
  • Principal investigator: Vlady Ravelomanana
QIP
VIP

European grants

QUANTALGO
  • European partners: Université libre de Bruxelles, University of Bristol, Centrum Wiskunde & Informatica (Amsterdam), University of Latvia, Université Paris Diderot, University of Copenhagen, Atos (Bull SAS)
  • Coordinator: Miklos Santha

International bilateral cooperations Hubert Curien

Pavle Savić (2016-2017)
  • Computational Logics and Higher Algebra
  • Partener: Univ of Novi Sad, Serbia
  • Principle investigator: Hugo Herbelin
Parrot (2017-2018)
  • Mathematical structures for dualities in programming languages
  • Partner Univ. of Tallinn, Estonia
  • Principal investigator: Hugo Herbelin