Christoph Matheja -

Registered user since Tue 22 Jan 2019

Name:Christoph Matheja

Country:Denmark

Affiliation:DTU

Personal website: https://cmath.eu

Research interests:Verification, Probabilistic Systems

Contributions

2026

POPL

Committee Member in Program Committee within the POPL-track

2025

POPL

Workshops Co-Chair in Organizing Committee

2024

POPL

Workshops Co-Chair in Organizing Committee

Dafny

Author of Caesar: A Verifier for Probabilistic Programs within the Dafny 2024-track

2023

SPLASH

Author of A Deductive Verification Infrastructure for Probabilistic Programs within the OOPSLA-track

POPL

2022

PLDI

Author of (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity within the SIGPLAN Track-track

2019

QAPL

Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track

TACAS

Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track

POPL

Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track