Benjamin Lucien Kaminski

About

Professor Benjamin Lucien Kaminski is a faculty member at Universität des Saarlandes in Germany. His research primarily focuses on formal methods in software engineering, specifically concerning probabilistic programming, verification infrastructures, and logics for reasoning about program correctness. Recent articles authored by Professor Kaminski explore areas such as holistic views of logics, quantitative hyperproperties, and models for expectation-based reasoning.