Write a Blog >>
Benjamin Lucien Kaminski

Registered user since Tue 10 Nov 2020

Name:Benjamin Lucien Kaminski
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:RWTH Aachen University, Germany
Research interests:formal verification, semantics, probabilistic programs, quantitative verification


POPL 2020 Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification
Show activities from other conferences

POPL 2020-profile
View general profile