Links:
I am a PhD student working together with Koen Claessen, John Hughes, and Bo Joel Svensson. I like writing donkey-code in Haskell and C. My interests involve compilers, PL, cybersecurity, testing, QuickCheck, IoT, and much much more.