Benjamin Lucien Kaminski: Advanced weakest precondition calculi for probabilistic programs. RWTH Aachen University, Germany 2019