Jan-Christoph Kassing
CV
Publications
Talks
Teaching
Organized Workshops

Jan-Christoph Kassing

(Probabilistic) Program Verification, Rewriting, Termination

Kassing(at)cs.rwth-aachen.de
RWTH Aachen University
Aachen, Germany
Room 4209, Ahornstr. 55
Google Scholar
ORCID
ResearchGate
Github
LinkedIn

Counting the Probabilities of Loops: Disproving (Strong) Almost-Sure Termination of Probabilistic Rewriting Automatically

Follow:
GitHub

© 2025 Jan-Christoph Kassing, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2025-08-12