Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Logik in der Informatik

 

Prof. Dr. Nicole Schweikardt

Professur für Theoretische Informatik

Prof. Dr. Christoph Berkholz

Juniorprofessur für Logik und Komplexität

 

Willkommen auf den Webseiten der Arbeitsgruppen "Theoretische Informatik" und "Logik und Komplexität"!

 

Aktuelles:

  • Die Arbeit "Discovering Multi-Dimensional Event Queries from Traces - From Theory to Practice" von Sarah Kleest-Meißner, Rebecca Sattler, Markus Schmid, Nicole Schweikardt und Matthias Weidlich wurde bei BTW'23 akzeptiert.
  • Die Arbeit "Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems" von Joel D. Day, Maria Kosche, Florin Manea und Markus Schmid wurde für ISAAC 2022 akzeptiert.
  • Seit 01.08.2022 leitet Prof. Dr. Christoph Berkholz das Fachgebiet Algorithmik am Institut für Theoretische Informatik der TU Ilmenau.
  • Die Arbeit "Enumeration for FO Queries over Nowhere Dense Graphs" von Nicole Schweikardt, Luc Segoufin und Alexandre Vigny wurde bei Journal of the ACM akzeptiert.