Logik in der Informatik
Prof. Dr. Nicole Schweikardt |
Prof. Dr. Christoph Berkholz |
Willkommen auf den Webseiten der Arbeitsgruppen "Theoretische Informatik" und "Logik und Komplexität"!
Aktuelles:
- Die Arbeitsgruppe Logik und Komplexität ist auf der Suche nach einem wissenschaftlichen Mitarbeiter (m/w/d) mit Möglichkeit zur Promotion. Details sind unter Stellenausschreibungen zu finden.
- Dr. Christoph Berkholz wurde am 11.10.2019 zum Juniorprofessor berufen und leitet die AG Logik und Komplexität
