Registered user since Thu 12 Aug 2021
Name:Robert Krook
Bio:
PhD Student at Chalmers University of Technology, in Gothenburg, Sweden.
I work with Koen Claessen, John Hughes, and Bo Joel Svensson.
Affiliation:Chalmers University of Technology, Sweden
Personal website: https://krook.dev
GitHub: https://github.com/Rewbert
Research interests:Functional Programming, EDSL, IoT, Security, Compilers
Contributions
2024
ICFP 2024-profile
View general profile
View general profile