Robert Krook

Registered user since Thu 12 Aug 2021

Name:Robert Krook
Affiliation:Chalmers University of Technology, Sweden
Research interests:Functional Programming, EDSL, IoT, Security, Compilers


Haskell 2020 Author of Towards Secure IoT Programming in Haskell within the Haskell 2020-track
TyDe 2019 Author of An Algebra of Sequential Decision Problems within the TyDe 2019-track