Postdoctoral fellow @ Courant, NYU.
-
New York University
- New York, NY, USA
- https://simongregersen.com
- https://orcid.org/0000-0001-6045-5232
Block or Report
Block or report simongregersen
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
logsem/clutch
logsem/clutch PublicProbabilistic separation logics for verifying higher-order probabilistic programs.
-
logsem/iris-tini
logsem/iris-tini PublicLogical relations for termination-insensitive noninterference in Iris
Coq 4
-
logsem/aneris
logsem/aneris PublicProgram logic for developing and verifying distributed systems
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.