Logik
und Theorie
diskreter Systeme

Informatik 7

Marlin Frickenschmidt

Marlin Frickenschmidt

 

Kontakt

Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro Raum 4117a, Ahornstr. 55, 52074 Aachen
Telefon +49 (241) 80 21702
Telefax +49 (241) 80 22215
E-Mail frickenschmidt(at)informatik.rwth-aachen.de
Sprechstunde nach Vereinbarung

 

 

 

 

 

 

 


Forschungsinteressen

Monadic Second Order Logic, Graphdekompositionen, Graphisomorphie.

 


Veröffentlichungen

Order Invariance on Decomposable Structures

with Michael Elberfeld and Martin Grohe, 2016.
Conference version in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), pp. 397-406

 


Lehre

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 2016

Seminar "Aktuelle Themen der Theoretischen Informatik"
Seminar "Theorie Effizienter Hashtechniken"

Wintersemester 2015/2016

Seminar "Algorithmische Graphentheorie"
Übung zur Vorlesung "Foundations of Data Science"

Sommersemester 2015

Ü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"

FaLang translation system by Faboba