conf.researchr.org / Benjamin Lucien Kaminski
Registered user since Tue 10 Nov 2020
Name:Benjamin Lucien Kaminski
Bio:
as of Nov. 2021 | Professor | Saarland University, Germany |
as of Jan. 2020 | Lecturer | University College London, United Kingdom |
Feb. 2019 – Dec. 2019 | Postdoctoral Researcher | RWTH Aachen, Germany |
Oct. 2013 – Feb. 2019 | PhD in semantics and verification of probabilistic programs | RWTH Aachen, Germany |
Country:Germany
Affiliation:Saarland University; University College London
Personal website: https://quave.cs.uni-saarland.de/benjamin-kaminski/
X (Twitter): https://x.com/Kaminski_BL
Research interests:formal verification, semantics, probabilistic programs, quantitative verification
Contributions
2025
2024
Formal Methods for Incorrectness
2023
SPLASH
2022
SPLASH
- Committee Member in Review Committee within the OOPSLA-track
- Session Chair of Logic and Verification I (part of OOPSLA)
- Session Chair of Probabilistic (part of OOPSLA)
- Author of Quantitative strongest post: a calculus for reasoning about the flow of quantitative information within the OOPSLA-track
- Author of Weighted programming: a programming paradigm for specifying mathematical models within the OOPSLA-track