Person
Maya Frickenschmidt
M. Sc.
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Adresse
Gebäude: Erweiterungsbau 1, 1. Etage
Raum: 4117b
Ahornstraße 55
52074 Aachen
Kontakt
- workPhone
- Telefon: +49 241 80 21723
Fax: +49 241 80 22215
Sprechstunde
- nach Vereinbarung
Forschungsinteressen
Monadic Second Order Logic, Graphdekompositionen, Graphisomorphie.
Lehre
| Semester | Lehrveranstaltung |
|---|---|
| Wintersemester 2018/2019 |
Softwarepraktikum
Reguläre Ausdrücke implementieren in Java
|
| Sommersemester 2017 | Softwarepraktikum Informatikpraktikum für Mathematiker |
| Wintersemester 2016/2017 |
Softwarepraktikum Reguläre Ausdrücke implementieren in Java Seminar Aktuelle Themen der Theoretischen Informatik Seminar Komplexitätstheorie |
| Sommersemester 2017 |
Seminar Aktuelle Themen der Theoretischen Informatik Seminar Theorie Effizienter Hashtechniken |
|
Wintersemester 2015/2016 |
Seminar Algorithmische Graphentheorie Übung zur Vorlesung Foundations of Data Science |
| Sommersemester 2017 |
Übung zur Vorlesung Formale Systeme, Automaten, Prozesse Seminar Aktuelle Themen der Theoretischen Informatik |
| Wintersemester 2014/2015 |
Seminar Aktuelle Themen der Theoretischen Informatik Seminar Probabilistische Datenbanken Übung zur Vorlesung Foundations of Data Science |
Publikationen
| Titel | Autor*innen | Erschienen in |
|---|---|---|
|
Maya Frickenschmidt, |
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016
|