Benjamin Lucien Kaminski

Registered user since Tue 10 Nov 2020

Name:Benjamin Lucien Kaminski

Bio:


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

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

Contributions