Christoph Matheja

Assistant Professor

Danmarks Tekniske Universitet

Denmark

Research Interests

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Dr. Christoph Matheja is an Assistant Professor at Danmarks Tekniske Universitet in Denmark. His research focuses on verification infrastructures for probabilistic programs, separation logic, and expected runtimes. He has contributed to the advancement of modular specification and verification methods, particularly in the context of programming languages such as Rust. His recent publications reflect a deep engagement with expectation-based reasoning in computational verification.

Articles (6)

Year:

2023

Year:

2023

Year:

2023

Year:

2021

Year:

2021

Year:

2021

Collaborators (4)

Benjamin Lucien Kaminski

Professor

Saarland University

GERMANY

View details

Lena Verscht

RWTH Aachen University

GERMANY

View details

Kevin Batz

RWTH Aachen University

GERMANY

View details

Joost-Pieter Katoen

RWTH Aachen University

GERMANY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Christoph Matheja

Research Interests

Contact this professor

About

Articles (6)

A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions

A Calculus for Amortized Expected Runtimes

A Deductive Verification Infrastructure for Probabilistic Programs

Modular specification and verification of closures in Rust

A pre-expectation calculus for probabilistic sensitivity

Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

Collaborators (4)

Benjamin Lucien Kaminski

Lena Verscht

Kevin Batz

Joost-Pieter Katoen

Make your next move.