Taking inspiration from the areas of algorithms, statistics and applied mathematics, this program aims to identify a set of core techniques and principles for modern Data Science. 

This program will bring together leading researchers in computational complexity theory to tackle fundamental questions on the capabilities and limitations of various models of computation.

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 TCS as well as related fields such as combinatorics, probability, statistical physics, optimization and real algebraic geometry. 

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.