Lecturer at JetBrains, teaching about PL topics and working on formal verification for Kotlin.
- Utrecht, The Netherlands
-
19:05
(UTC +02:00) - https://orcid.org/0000-0001-9273-413X
- @jesyspa@mathstodon.xyz
Search results
0 open and 0 closed projects found.-
There aren't any projects yet