Peter Lindner

M. Sc.
Peter Lindner
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)


Building: Erweiterungsbau 1

Room: 4108

Ahornstr. 55

52074 Aachen


Phone: +49 241 80 21724
Fax: +49 241 80 22215

Office Hours

nach Vereinbarung

Scholar of the research training group 2236 UnRAVeL

Logo of UnRAVeL and DFG

Funded by the german reasearch foundation Deutsche Forschungsgemeinschaft (DFG) – GRK 2236 UnRAVeL


Research Interests

Logic, Database Theory


Publications Peter Lindner

Title Author(s) Appeared in
Probabilistic Databases with an Infinite Open-World Assumption Martin Grohe, Peter Lindner Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS '19). To appear.
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures Faried Abu Zaid, Dietrich Kuske, Peter Lindner 27th EACSL Annual Conference on Computer Science Logic (CSL 2018).