SPLASH 2022 (series) / 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 and 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
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)
- Quantitative strongest post: a calculus for reasoning about the flow of quantitative information
- Weighted programming: a programming paradigm for specifying mathematical models
SPLASH 2022-profile
View general profile
View general profile