Lecturer at JetBrains, teaching about PL topics and working on formal verification for Kotlin.
- Utrecht, The Netherlands
-
12:33
(UTC +02:00) - https://orcid.org/0000-0001-9273-413X
- @jesyspa@mathstodon.xyz
- @jesyspa.bsky.social
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.