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 especially graph learning

UnRAVeL Research Training Group

Associated member of the research training Group UnRAVeL which is focussed on uncertainty and randomness in algorithms, verification and logic.

 

Teaching

Term Class
Summer term 2019 Practical course Graph Learning
Winter term 2018/2019 Seminar Theory of efficient hashing techniques
Summer term 2018 Exercise for the lecture Algorithmic learning theory
Winter term 2017/2018

Übung zur Vorlesung Recursion theory

Summer term 2017

Seminar Theoretical topics in Data Science
Seminar Current topics in theoretical computer science

Winter term 2016/2017

Übung zur Vorlesung Foundations of Data Science
Seminar Complexity theory
Seminar Current topics in theoretical computer science

 

Publications

Title Author(s) Published in
Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks Christopher Morris, Martin Ritzert, Matthias Fey, William L. Hamilton, Jan Eric Lenssen, Gaurav Rattan, Martin Grohe AAAI 2019, Honolulu, USA

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