SPLASH 2023 (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; 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
SPLASH 2023-profile
View general profile
View general profile