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

Research interests:Functional Programming, EDSL, IoT, Security, Compilers