Person

Sandra Kiefer

M. Sc.
Nicht verfügbar
Fachgruppe Informatik

Adresse

Gebäude: E1, 1. Etage

Raum: 4107a

Ahornstraße 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21717
Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Forschungsinteressen

Algorithmische Graphentheorie, Diskrete Mathematik (insb. Kombinatorische Optimierung, Geometrische Gruppentheorie), Topologie

 

Lehre

Semester Lehrveranstaltung
Wintersemester 2016/2017

Übung zur Vorlesung Berechenbarkeit und Komplexität
Seminar Komplexitätstheorie
Seminar Aktuelle Themen der Theoretischen Informatik

Sommersemester 2016

Übung zur Vorlesung Computational Complexity Theory
Seminar Aktuelle Themen der Theoretischen Informatik

Wintersemester 2015/2016 Übung zur Vorlesung Berechenbarkeit und Komplexität
Sommersemester 2015

Übung zur Vorlesung Computational Complexity Theory
Seminar Aktuelle Themen der Theoretischen Informatik

Wintersemester 2014/2015

Übung zur Vorlesung The Graph Isomorphism Problem
Seminar Aktuelle Themen der Theoretischen Informatik

Sommersemester 2014

Übung zur Vorlesung Computational Group Theory
Seminar Aktuelle Themen der Theoretischen Informatik

Wintersemester 2013/2014 Seminar Berechnungsmodelle für "Big Data"

 

Publikationen

Titel Autor(en) Erschienen in
The Weisfeiler-Leman Dimension of Planar Graphs is at most 3 Sandra Kiefer,
Ilia Ponomarenko,
Pascal Schweitzer

32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017

Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic

Sandra Kiefer,
Pascal Schweitzer

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016

Graphs Identified by Logics with Counting

Sandra Kiefer,
Pascal Schweitzer,
Erkal Selman

Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I