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 grosser Relevanz, beispielsweise aus der Algorithmentheorie, oder sogar zwingend notwendig, zum Beispiel aus der Kryptographie. Zu den Schwerpunkten der Theorieforschung am Departement gehören Kryptographie und Algorithmen und Komplexität sowie diskrete Mathematik, Schätzung und Optimierung. Teilweise wird die Forschung gemeinsam mit dem Departement Mathematik durchgeführt.