Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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

Country: Germany

Affiliation: RWTH Aachen University, Germany

Personal website: http://moves.rwth-aachen.de/people/kaminski/

Research interests: formal verification, semantics, probabilistic programs, quantitative verification


POPL 2021 Relatively Complete Verification of Probabilistic Programs
A Pre-Expectation Calculus for Probabilistic Sensitivity
Show activities from other conferences

POPL 2021-profile
View general profile