Christoph Matheja
Christoph Matheja
Affiliation: University of Oldenburg and Technical University of Denmark
Affiliation: DTU Compute and University of Oldenburg
Affiliation: Technical University of Denmark
Pages in this Program
Securing the Foundations of an Intermediate Language for Probabilistic Program Verification
Caesar: A Deductive Verifier for Probabilistic Programs
Analytical Inference for Business Processes with Uncertainties via Probabilistic Programming
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑