Logic and
Theory of
Discrete Systems

Informatik 7

Marlin Frickenschmidt

Marlin Frickenschmidt

 

Contact

Address RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Office Room 4117a, Ahornstr. 55, 52074 Aachen
Phone +49 (241) 80 21702
Fax +49 (241) 80 22215
E-mail frickenschmidt(at)informatik.rwth-aachen.de
Office hours by arrangement

 

 

 

 

 

 

 

Research interests

Monadic Second Order Logic, Graph Decompositions, Graph Isomorphism.

 


Publications

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

 


Teaching

Summer Term 2017

Softwarelab "Computer Lab for Mathematicians"

Winter Term 2016/2017

Softwarelab "Implementing Regular Expressions in Java"
Seminar "Current Topics of Theoretical Computer Science"
Seminar "Complexity Theory"

Summer Term 2016

Seminar "Current Topics of Theoretical Computer Science"
Seminar "Theory of Efficient Hashing Techniques"

Winter Term 2015/2016

Seminar "Algorithmic Graph Theory"
Exercise class for the lecture "Foundations of Data Science"

Summer Term 2015

Exercise class for the lecture "Formal Systems, Automata, Processes"
Seminar "Current Topics of Theoretical Computer Science"

Winter Term 2014/2015

Seminar "Current Topics of Theoretical Computer Science"
Seminar "Probabilististic Databases"
Exercise class for the lecture "Foundations of Data Science"

FaLang translation system by Faboba