image depicting Robert Krook, a functional programmer based in Gothenburg

Robert Krook

Front page

About me

I am Robert Krook, a researcher and software developer from Gothenburg, Sweden.
I am first and foremost a Haskell developer, but I also enjoy programming in C. My main interests are functional programming and property-based software testing, but I work on many different things. I generally enjoy working on things related to compilers.

I am currently pursuing a PhD degree from Chalmers University of Technology in Gothenburg, Sweden. My research is a bit all over the place, but I have worked on using Haskell to program exotic platforms, such as IoT devices and CPUs with certain security extensions. My main advisor is Koen Claessen, and my co-advisors are John Hughes and Bo Joel Svensson. I am expected to defend my thesis in the first half of 2025.