Svenja Schalthöfer
Adresse
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
Fax: | +49-241-80-22215 |
E-Mail: | schalthoefer [AT] logic.rwth-aachen.de |
Forschung
Von Februar 2014 bis Januar 2019 arbeitete ich als wissenschaftliche Mitarbeiterin am Lehrstuhl für Mathematische Grundlagen der Informatik. Meine Promotion schloss ich im Januar 2019 ab.Meine Forschungsschwerpunkte sind unter anderem:
- Deskriptive Komplexitätstheorie
- Logiken für Logspace
- Choiceless Polynomial Time
Preise und Auszeichnungen
Aktivitäten
- Mitglied im Prüfungsausschuss Informatik
- Mitglied der Kommission für Lehre der Fachgruppe Informatik
- Organisation der ersten gemeinsamen Bundesfachschaftentagung Mathematik, Physik, Informatik im Sommersemester 2015
- Mitarbeit beim Girl's Day
- Betreuung internationaler Studierender beim BeBuddy-Programm des International Office
Teaching
- Seminar Logik, Complexity, Games
- Mathematische Logik ( SS 18, SS 17, SS 16, SS 15, SS 14 )
- Logik und Spiele (WS 15)
- Quantencomputing (SS 15)
Aktuelle Publikationen
- E. Grädel and S. Schalthöfer. Choiceless Logarithmic Space. In 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) (P. Rossmanith, P. Heggernes, and J. Katoen, Eds.), vol. 138 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 31:1–31:15, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2019.
- S. Schalthöfer. Choiceless computation and logic. PhD thesis, RWTH Aachen University, 2019.
- W. Pakusa, S. Schalthöfer, and E. Selman. Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. In 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) (J. Talbot and L. Regnier, Eds.), vol. 62 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 19:1–19:17, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2016.
- E. Grädel, Ł. Kaiser, W. Pakusa, and S. Schalthöfer. Characterising Choiceless Polynomial Time with First-Order Interpretations. In Proceedings of 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015.
- S. Schalthöfer. Computing on Abstract Structures with Logical Interpretations. Master thesis, RWTH Aachen University, 2013.
Ausgewählte Vorträge
- Choiceless Computation and Logic, PhD defence.
- Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time, held at CSL 2016 in Marseille, France.
- Characterising Choiceless Polynomial Time with First-Order Interpretations, held at LICS 2015 in Kyoto, Japan.