Christoph Matheja -

Registered user since Tue 22 Jan 2019

Name:Christoph Matheja

Country:Denmark

Affiliation:Technical University of Denmark

Personal website:https://cmath.eu

Research interests:Verification, Probabilistic Systems

Contributions

POPL 2023	Author of A Calculus for Amortized Expected Runtimes within the POPL-track Author of Deductive Verification of Probabilistic Programs within the TutorialFest-track Committee Member in Program Committee within the POPL-track
PLDI 2022	Author of (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity within the SIGPLAN Track-track
QAPL 2019	Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track
TACAS 2019	Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track
POPL 2019	Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track