Robert Krook
Ph.D. Student at Chalmers University of Technology
Gothenburg, Sweden
Summary
👤
Senior🎓
Top SchoolRobert Krook is a Ph.D. student in functional programming at Chalmers University of Technology with 11 years of software experience, focusing on using Haskell to build domain-specific languages that make it possible to program microcontrollers and reason about IoT security. Supervised by Koen Claessen and co-supervised by John Hughes and Joel Svensson, he contributes to the Octopi project exploring high-level abstractions for low-level platforms. His background includes practical embedded and CI work at Volvo (C, Java, Python, Jenkins) and hands-on teaching experience, giving him a rare blend of research rigor and production-oriented engineering. Based in Gothenburg, he combines compiler and language design expertise with an eye for testing and secure IoT deployments, often finding elegant, type-driven solutions to low-level problems.
11 years of coding experience
Bsc, Datavetenskap, Bsc, Datavetenskap at Göteborgs universitetMsc, Computer Science, Msc, Computer Science at University of Gothenburg
Swedish, English
Stackoverflow
11reputation
198reached
0answers
1question
Github Skills (63)
servant9
bluetooth-low-energy8
testing8
mesh7
mathematics7
sgx7
energy7
fuel7
haskell7
embedded6
hackage6
aot6
bluetooth6
usrp6
computer-science5
Programming languages (6)
Github contributions (5)
ssm-lang/Scoria
Jan 2021 - Oct 2022
Contributions:414 commits, 1 push in 1 year 8 months
augustss/MicroHs
May 2023 - Oct 2024
Haskell implemented with combinators
Contributions:1 review, 7 PRs, 7 comments in 1 year 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.