Theorie und Algorithmen
Die Informatik ist sowohl eine Ingenieurwissenschaft als auch eine Grundlagenwissenschaft. Dank dieser Doppelnatur deckt sie eine Vielzahl grundlegender Konzepte, wie Prozesse, Berechnungen und Information und Kommunikation, ab. Die Informatik-Theorie befasst sich mit dem Verständnis, der Definition und der Analyse dieser Konzepte unter Verwendung formeller Beweise. Theoretische Erkenntnisse sind in der Praxis oft von großer Relevanz, beispielsweise aus der Algorithmentheorie, oder sogar zwingend notwendig, zum Beispiel aus der Kryptographie.
Dennis Hofheinz
Ordentlicher Professor
Website
Kryptographie, Informationssicherheit, Beweissysteme, theoretische Informatik, Algorithmen
Dennis Komm
Ausserordentlicher Professor
Webseite
Entwurf und Analyse von Algorithmen, Approximation und Parametrisierung, Beratungskomplexität, Didaktik und Ausbildung
Rasmus Kyng
Assistenzprofessor
externe SeiteWebseite
Algorithmen, konvexe Optimierung, Graphen-Algorithmen, numerische lineare Algebra, Komplexitätstheorie, Zufallsmatrizen-Theorie
Ueli Maurer
Ordentlicher Professor
Webseite
Kryptographie, Informationssicherheit, theoretische Informatik, Informationstheorie, diskrete Mathematik
Angelika Steger
Ordentliche Professorin
Webseite
Algorithmen, Kombinatorik, Randomisierung und probabilistische Methoden, kombinatorische Modelle für Optimierung
David Steurer
Ausserordentlicher Professor
externe SeiteWebseite
Komplexitätstheorie, approximative Algorithmen, konvexe Optimierung, Parameter Abschätzung, Tensor Methoden