Person

Martin Ritzert

M. Sc. RWTH
Martin Ritzert
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Address

Building: Erweiterungsbau 1

Room: 4117a

Ahornstr. 55

52074 Aachen

Contact

workPhone
Phone: +49 241 80 21706
Fax: +49 241 80 22215

Office Hours

nach Vereinbarung
 

Research Interests

Complexity, Algorithms, Logic, Machine learning

 

Teaching

Term Class
Winter term 2017/2018

Exercise class for the lecture Recursion Theory

Summer term 2017

Seminar Theoretical topics in Data Science
Seminar Current Topics in Theoretical Computer Science

Winter term 2016/2017

Exercise class for the lecture Foundations of Data Science
Seminar Complexity Theory
Seminar Current Topics in Theoretical Computer Science

 

Publications

Title Author(s) Published in

Learning MSO-definable hypotheses on string

Martin Grohe,
Christof Löding,
Martin Ritzert
International Conference on Algorithmic Learning Theory, ALT 2017, 15-17 October 2017, Kyoto University, Kyoto, Japan
Learning first-order definable concepts over structures of small degree Martin Grohe,
Martin Ritzert
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017