Person

Martin Ritzert

M. Sc. RWTH
Nicht verfügbar
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4117a

Ahornstr. 55

52074 Aachen

Kontakt

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

Sprechstunde

nach Vereinbarung
 

Forschungsinteressen

Komplexität, Algorithmen, Logik, Machine learning

 

Lehre

Semester Lehrveranstaltung
Wintersemester 2017/2018

Übung zur Vorlesung Rekursionstheorie

Sommersemester 2017

Seminar Theoretical topics in Data Science
Seminar Aktuelle Themen der theoretischen Informatik

Wintersemester 2016/2017

Übung zur Vorlesung Foundations of Data Science
Seminar Komplexitätstheorie
Seminar Aktuelle Themen der theoretischen Informatik

 

Publikationen

Titel Autor(en) Erschienen 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