Copyright: © © Valentin Bister

Person

Dr.

Peter Lindner

Computer Science Departement, RTG UnRAVeL

Former associate doctoral researcher

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

 
Dissertation project
The Theory of Infinite Probabilistic Databases
Collaborations
Marcel Hark: Automated Run-Time Analysis of Probabilistic Programs

Benjamin Kaminski: Advanced Weakest Precondition Calculi for Probabilistic Programs

Tobias Winkler: Programming and Verifying Uncertain Phenomena
Prizes and Awards
Accepted Paper "Generative Datalog with Continuous Distributions" by PODS 2020
Published Paper: "Probabilistic Databases with an Infinite Open-World Assumption" in PODS 2019
Accepted Paper: "Climbing up the elementary complexity classes with theories of automatic structures"
Engagement
Steering Committee member since December 2019
Marketing Team Member since January 2019
Organization Committee member since December 2018
involved in UnRAVeL data management & publication issues
Talks
Bi-Weekly Talk: Peter Lindner: Generative Datalog with Continuous Distributions
Für interessierte UnRAVel Mitglieder: AlMoTh 2019 - Algorithmic Model Theory Meeting 2019
Bi-Weekly Talk: Probabilistic Databases with an Infinite Open-World Assumption
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Journal Article]
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems
In: Artificial intelligence, 320, 103922, 2023
[DOI: 10.1016/j.artint.2023.103922]
Sukhija, Bhavya (Corresponding author)
Turchetta, Matteo
Lindner, David
Krause, Andreas
Trimpe, Johann Sebastian
et al.
[Journal Article]
Probabilistic Data with Continuous Distributions
In: ACM SIGMOD record, 50 (1), 69-76, 2021
[DOI: 10.1145/3471485.3471502]
Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter
[Dissertation / PhD Thesis]
The theory of infinite probabilistic databases, 2021
[DOI: 10.18154/RWTH-2021-10669]
Lindner, Peter
[Contribution to a book, Contribution to a conference proceedings]
Tuple-Independent Representations of Infinite Probabilistic Databases
In: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 388-401, 2021
[DOI: 10.1145/3452021.3458315]
Carmeli, Nofar (Corresponding author)
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Standke, Christoph (Corresponding author)
[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard Marlon
Dannert, Katrin M.
Lindner, Peter
et al.
[Contribution to a book, Contribution to a conference proceedings]
Generative Datalog with Continuous Distributions
In: PODS'20 : Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 14 -19, 2020, Portland, OR USA / General Chair: Dan Suciu (University of Washington, USA); Program Chair: Yufei Tao; Proceedings Chair: Zhewei Wei, 347-360, 2020
[DOI: 10.1145/3375395.3387659]
Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Lindner, Peter (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Infinite Probabilistic Databases
In: 23rd International Conference on Database Theory (ICDT 2020), 16:1-16:20, 2020
[DOI: 10.4230/LIPIcs.ICDT.2020.16]
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Databases with an Infinite Open-World Assumption
In: PODS'19 : Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, July 1-3, 2019, Amsterdam, Netherlands / General Chair: Dan Suciu, 17-31, 2019
[DOI: 10.1145/3294052.3319681]
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
[Preprint]
Probabilistic Databases with an Infinite Open-World Assumption, 2018
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung, 3:1-3:16, 2018
[DOI: 10.4230/LIPIcs.CSL.2018.3]
Abu Zaid, Faried
Kuske, Dietrich
Lindner, Peter