Theory and Algorithms
Computer science is both an engineering science and a basic science. Thanks to this dual nature, it covers a variety of fundamental concepts including processes, computation, information and communication. Computer science theory is concerned with understanding, defining and analysing these concepts using formally proven guarantees. Theoretical insights are often highly relevant in practice (for instance, from algorithm theory) or even intrinsically necessary – from cryptography, for instance.
![Prof. Rasmus Kyng](/research/theory-algorithms/_jcr_content/par/twocolumn/par_left/textimage_1207529448/image.imageformat.textsingle.1967334680.jpg)
Rasmus Kyng
Assistant Professor
external pageWebsitecall_made
algorithms, convex optimization, graph algorithms, numerical linear algebra, fine-grained complexity theory, random matrix theory
![Computer science professor Ueli Maurer](/research/theory-algorithms/_jcr_content/par/twocolumn/par_right/textimage_1698434621/image.imageformat.textsingle.1890468611.jpg)
Ueli Maurer
Full Professor
Website
cryptography, information security, theoretical computer science, information theory, discrete mathematics
![](/research/theory-algorithms/_jcr_content/par/twocolumn_3/par_left/textimage_775621449/image.imageformat.textsingle.1447621775.jpg)
Angelika Steger
Full Professor
Website
algorithms, combinatorics, randomization and probabilistic methods, combinatorial models for optimization
![Computer science professor David Steurer](/research/theory-algorithms/_jcr_content/par/twocolumn_3/par_right/textimage_73465812/image.imageformat.textsingle.625799641.jpg)
David Steurer
Associate Professor
external pageWebsitecall_made
complexity theory, approximation algorithms, convex optimization, parameter estimation, tensor methods