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
Using general profile
POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
- Attending
- Track/Call
- Organization
- POPL 2026 Committees
- Organizing Committee
- AV Committee
- Student Volunteers
- Track Committees
- Program Committee
- Contributors
- People Index
- Search
- Series