Informatik-Kolloquien
352. Informatik-Kolloquium
Antrittsvorlesung
Prof. Dr. Dominik Scheder, Professur Theoretische Informatik
"Mal rein theoretisch"
Mittwoch, 9. April 2025, 15.00 Uhr, Straße der Nationen 62, Altes Heizhaus
Zusammenfassung:
Die Theoretische Informatik - Unter Studierenden oft gefürchtet, manchmal heiß geliebt, im schlimmsten Falle staubtrocken, im besten Falle wunderschön. In meiner Antrittsvorlesung will ich Ihnen anhand einiger Perlen zeigen, wie die Theoretische Informatik in der Komplexität unserer Welt und unseres Faches Klarheit schaffen kann und uns leitet, zum Kern der Probleme vorzudringen.
Mein eigenes Forschungsthema, das Problem der Booleschen Erfüllbarkeit, findet Einsatz in Feldern wie Planung, Optimierung und Hardwareverifikation. In der Theoretischen Informatik gilt es als *das* zentrale NP-vollständige Problem und weist zahlreiche Verbindungen auf zu Feldern der Komplexitätstheorie auf wie Schaltkreiskomplexität oder Beweiskomplexität. In der Antrittsvorlesung werde ich Ihnen dieses Problem anhand eines konkreten Beispiels näher bringen.
Zum Schluss werde ich Ihnen zeigen, was mir in der Lehre wichtig ist und wie ich das an der TU Chemnitz umsetzen möchte.
Alle interessierten Personen sind herzlich eingeladen!
