conf.researchr.org / Christoph Matheja
![Christoph Matheja](https://conf.researchr.org/getProfileImage/christophmatheja/2b38a8ae-cf90-41e1-9d11-6c0feb64c931/small.jpg?1711470985000)
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
Registered user since Tue 22 Jan 2019
Contributions