Simon Oddershede Gregersen - POPL 2026

Sun 11 - Sat 17 January 2026 Rennes, France

Registered user since Tue 29 Jan 2019

Name:Simon Oddershede Gregersen

Country:Germany

Affiliation:CISPA Helmholtz Center for Information Security

Personal website: http://simongregersen.com

Contributions

2026

POPL

Verifying Probabilistic Programs Using Separation Logic

Show activities from other conferences

POPL 2026-profile
View general profile