Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.
- Utrecht, The Netherlands
-
22:29
(UTC +01:00) - https://orcid.org/0000-0001-9273-413X
- @[email protected]
- @jesyspa.bsky.social
Earned achievements
Pull Shark
x3
Pull Shark
x3
Loading
Starstruck
x3
Starstruck
x3
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading