Computer science at ISTA encompasses a wide variety of research topics, based on a solid foundation of mathematical rigor and a focus on developing new algorithms and formalisms.
Foundations of software-systems theory, game theory, and formal methods (Chatterjee, Henzinger), distributed algorithms and systems (Alistarh, Monika Henzinger), machine learning, discrete optimization, and computer vision (Kolmogorov, Lampert), causal learning and artificial intelligence (Locatello), data science and information theory (Mondelli), computational geometry and topology (Edelsbrunner, Wagner), cryptography (Pietrzak), security of decentralized systems (Kokoris-Kogias), computer graphics and physics simulation (Wojtan), and computational fabrication and optimization (Bickel) are some of the research strengths of our faculty.
COMPLETE COMPUTER SCIENCE RESEARCH GROUP DETAILS ON ISTA’S MAIN SITE:
- Distributed Algorithms and Systems
DAN ALISTARH - Computer Graphics and Digital Fabrication
BERND BICKEL - Computer-aided Verification, Game Theory
KRISHNENDU CHATTERJEE - Algorithms, Computational Geometry and Computational Topology
HERBERT EDELSBRUNNER - Algorithms
MONIKA HENZINGER - Design and Analysis of Concurrent and Embedded Systems
THOMAS HENZINGER - Secure, Private, and Decentralized Systems (SPiDerS)
Lefteris KOKORIS-KOGIAS - Discrete Optimization
VLADIMIR KOLMOGOROV
- Combinatorics and Probability
MATTHEW KWAN - Machine Learning and Computer Vision
CHRISTOPH LAMPERT - Causal Learning and Artificial Intelligence
FRANCESCO LOCATELLO - Data Science, Machine Learning, and Information Theory
MARCO MONDELLI - Cryptography
KRZYSZTOF PIETRZAK - Programming Languages and VerificationMICHAEL SAMMLER
- Discrete and Computational Geometry and Topology
ULI WAGNER - Automated and Foundational Verification of Low-Level Programs
MICHAEL SAMMLER - Computer Graphics and Physics Simulation
CHRIS WOJTAN
Here is a video presenting the Computer science study track.
In case you cannot access YouTube, this video is also available here.
Discover ISTA Alumni’s Inspiring Stories
Explore our alumni stories!
Get to know Alexander Kolesnikov and how our Graduate School shaped its successful career!