Benjamin Lucien Kaminski

University College London — United Kingdom

Computer Science · Physical Sciences

19h-index1.2kcitations81works0.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(44), Logic, Reasoning, and Knowledge(34), Logic, programming, and type systems(33), Bayesian Modeling and Causal Inference(23), Software Testing and Debugging Techniques(11)

Publications81 total

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
arXiv (Cornell University)·2026Open Access
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
ArXiv.org·2026Open Access
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
ArXiv.org·2026Open Access
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
arXiv (Cornell University)·2026Open Access
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Programming and Reasoning in Partially Observable Probabilistic Environments
Lecture notes in computer science·2025
Programming and Reasoning in Partially Observable Probabilistic Environments
arXiv (Cornell University)·2025Open Access
Replicable theory
International Journal on Software Tools for Technology Transfer·2025· 1 citedOpen Access
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
Proceedings of the ACM on Programming Languages·2025· 2 citedOpen Access
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
RWTH Publications (RWTH Aachen)·2025Open Access
Partial Incorrectness Logic
ArXiv.org·2025Open Access
J-P: MDP. FP. PP
Lecture notes in computer science·2024Open Access
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
arXiv (Cornell University)·2024Open Access
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Proceedings of the ACM on Programming Languages·2024· 4 citedOpen Access
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
arXiv (Cornell University)·2024Open Access
Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond
arXiv (Cornell University)·2023· 1 citedOpen Access
A Deductive Verification Infrastructure for Probabilistic Programs
Proceedings of the ACM on Programming Languages·2023· 19 citedOpen Access
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions
arXiv (Cornell University)·2023Open Access
Lower Bounds for Possibly Divergent Probabilistic Programs
Proceedings of the ACM on Programming Languages·2023· 10 citedOpen Access
page 1 of 5Next →

Frequent Co-authors

Joost-Pieter Katoen(38), Christoph Matheja(21), Federico Olmedo(10), Kevin Batz(9), Annabelle McIver(5), Nils Jansen(5), Friedrich Gretz(4), Lena Verscht(3), Linpeng Zhang(3), Marcel Hark(2), Jürgen Giesl(2), Thomas Noll(2), Mingshuai Chen(2), Martin Grohe(2), Peter Lindner(2), Alejandro Aguirre(2), Gilles Barthe(2), Justin Hsu(2), Gonzalo Budelli(1), Lina Ni(1)