The field of theoretical computer science faces a fundamental challenge: the worst-case analysis, the established framework to estimate the computational complexity of problems, fails to explain the effectiveness of modern machine learning algorithms. To address this fundamental challenge, we will revise the foundations of computer science by moving beyond worst-case analysis. We will develop novel algorithmic and complexity methods and use these methods to reconcile the worst-case algorithmic intractability with machine learning. The successful completion of our program will yield progress in both areas of theoretical computer science and machine learning, and hence, in almost every area of science and technology.
Project leader: Fedor Fomin
Institution: Institutt for informatikk