Benjamin Lucien Kaminski (Preferred)
Benjamin Lucien Kaminski
Full Professor, Saarland University, Universität des Saarlandes
Lecturer, Department of Computer Science, University College London, University of London
Joined
May 2022
Names
Emails
****@cs.uni-saarland.de (Confirmed)
Personal Links
Career & Education History
Full Professor
Saarland University, Universität des Saarlandes (cs.uni-saarland.de)
2021 – Present
Lecturer
Department of Computer Science, University College London, University of London (cs.ucl.ac.uk)
2020 – Present
PhD student
RWTH Aachen, Rheinisch Westfälische Technische Hochschule Aachen (informatik.rwth-aachen.de)
2013 – 2019
MS student
Rheinisch Westfälische Technische Hochschule Aachen (rwth-aachen.de)
2011 – 2013
Advisors, Relations & Conflicts
PhD Advisor
Joost-Pieter Katoen
2013 – 2019
Expertise
Program Verification
Present
Probabilistic Programs
Present
Hoare logic
Present
Publications
No publications