☕
Working towards my Ph.D. in computer science.
I love meta-programming and type theory as well as designing programming languages at all.
-
University of Applied Sciences THM
- Germany
- https://orcid.org/0000-0003-1403-2129
Pinned Loading
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.