Logische Methoden in der Informatik

Das Doktoratskolleg Logical Methods in Computer Science (LogiCS) ist ein Kernelement einer langfristigen Strategie zur Schaffung eines international herausragenden Exzellenzzentrums für Logik in der Informatik in Österreich. Eingebettet in eine Vielzahl existierender Projekte, Initiativen undKollaborationen wird das LogiCS Doktoratskolleg die hohe Forschungskompetenz gezielt in ein Programm zur DoktorandInnenausbildung umsetzen, das sich durch einen hohen internationalen Bekanntheitsgrad und eine langfristige Finanzierungsperspektive auszeichnet. Dadurch wird das Doktoratskolleg für hervorragende Studierende,Postdocs und Lehrende gleichermaßen attraktiv. In den letzten beiden Jahrzehnten wurde von mehreren Arbeitsgruppen der TU Wien eine kritische Masse in (i) Computational Logic, insbesondere Beweistheorie, Komplexitätstheorie und Automatischem Beweisen und in (ii) Datenbanken und künstlicher Intelligenz aufgebaut. Diese Expertise wurde zuletzt durch ein beträchtliches Wachstum in Wien, Linz und Graz im Gebiet (iii) Computer-Aided Verification, insbesondere Model Checking, weiter ergänzt. Die Struktur des Doktoratskollegs bildet diese drei Kompetenzbereiche im Studienplan und in den Synergien mit bestehenden Forschungsprojekten und Arbeitsgruppen ab. Die umfangreich dokumentierte langjährige und interdisziplinäre Zusammenarbeit der AntragstellerInnen garantierein gut balanciertes und themenübergreifendes Lehr- und Forschungsprogramm. In den kommenden beiden Jahrzehnten erwarten wir, dass sich Verifikation zur Programmsynthese weiterentwickelt und dass aus der AI-Forschung intelligente Assistenten für Forschungsaufgaben ebenso wie Ambient Intelligence im Alltagsleben entstehen werden. In Hinblick auf diese Entwicklungen wird das Doktoratskolleg ein internationales Top-Programm anbieten, welches sich durch eine einzigartige Kombination jener Disziplinen auszeichnet, in denen logische Methoden besonders große Auswirkungen auf die Informatik in der Praxis haben. Das LogiCS-Team besteht aus 16 etablierten Wissenschafterinnen und Wissenschaftern mit Erfolg und Erfahrung sowohl in der Forschung als auch in der Lehre, und wird von 11 assozierten Mitgliedern unterstützt. Die Leitung des Doktoratskollegs obliegt Helmut Veith und Stefan Szeider, die seit drei Jahren an der TU Wien lehren und bereits das Vienna Center for Logic und Algorithms (VCLA) ins Leben gerufen haben. Die Erfolgsbilanz des LogiCS-Teams zeigt deutlich das Engagement, die Kreativität und die Leidenschaft der AntragstellerInnen für die Doktoratsausbildung. Gemeinsam haben sie eine große Anzahl an hervorragenden PhD-Studierenden mit überaus erfolgreichen Karrieren in der Industrie und der akademischen Welt betreut. Zu den wichtigsten Vorläuferaktiviäten für das Doktoratskolleg zählen das von der TU Wien bis 2014 finanzierte Doktoratskolleg für Mathematische Logik in der Informatik, und das österreichweite FWF-fnanzierte Forschungsnetzwerk Rigorous Systems Engineering (RiSE) mit einem Schwerpunkt auf Model Checking und Entscheidungsprozeduren. Das LogiCS- Team besteht aus Kernmitgliedern dieser beiden Initiativen inklusive Roderick Bloem von der TU Graz und Armin Biere von der JKU Linz, und wird durch kürzlich an die TU Wien berufene Kolleginnen und Kollegen ergänzt. Die hervorragenden individuellen wissenschaftlichen Leistungen des LogiCS-Teams sind durch zahlreiche Auszeichnungen und Grants dokumentiert, darunter zwei ERC Grants, ein Wittgenstein-Preis, ein FWFStart Preis, zwei WWTF Young Research Groups und ein NSF Career Grant. Die zahlreichen laufenden Projekte der Antragsteller ermöglichen die Finanzierung zuätzlicher Studierender im LogiCS Kolleg.