Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Benjamin Lucien Kaminski

Registered user since Tue 10 Nov 2020

Name:Benjamin Lucien Kaminski
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
Affiliation:Saarland University and University College London
Research interests:formal verification, semantics, probabilistic programs, quantitative verification


SPLASH 2022 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
Show activities from other conferences

SPLASH 2022-profile
View general profile