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:
- Dr. Christoph Berkholz wurde am 11.10.2019 zum Juniorprofessor berufen und leitet die AG Logik und Komplexität
