This program aims to promote research on the theoretical foundations of data privacy, as well as on applications in technical, legal, social and ethical spheres.

This program will focus on emerging connections between the analytic theory of multivariate polynomials (sometimes called "the geometry of polynomials") and theoretical computer science as well as related fields such as combinatorics, probability, statistical physics, optimization and real algebraic geometry. 

This program will bring together researchers from academia and industry to develop empirically-relevant theoretical foundations of deep learning, with the aim of guiding the real-world use of deep learning.

This short-format program will focus on the design of markets for online platforms, exploiting advances in theoretical computer science, economics and operations research.

This program will bring together researchers from Computer Science and beyond, whose research is contributing to three sub­themes: proof systems, decentralized consensus, and applications of these to society, economics, and cryptocurrencies.

This program will study fundamental questions on integer lattices and their important role in cryptography and quantum computation, bringing together researchers from number theory, algorithms, optimization, cryptography, and coding theory.

This program will bring together researchers from computer science, physics, chemistry and mathematics to focus on the two grand challenges of quantum computation: developing the most promising algorithmic applications for quantum computers, and developing methods to test quantum devices.