Skip to content
View Rewbert's full-sized avatar
58 followers · 88 following
  • Chalmers University of Technology
  • Gothenburg
  • 06:43 (UTC -12:00)

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report Rewbert

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Rewbert/README.md

Hi there 👋

I'm Robert :)

I am a PhD student at Chalmers University of Technology, in the functional programming unit of the computing science division. My supervisor is Koen Claessen, and my co-supervisors are John Hughes and Bo Joel Svensson.

While my main interests are compilers, programming languages and property-based testing, I am really a fan of all things Haskell. Recently I have slipped into the rabbit-hole of TEE (Trusted Execution Environment(s)), where I might stay a while. I try to orient my research around the Internet of Things and Security, using Haskell as my weapon of choice.

My publications can be found on my google scholar page :)

You can reach me at my work email, krookr@chalmers.se, or my private email, robert@krook.dev. You can also just drop by my office in the EDIT building, room 6215.

Popular repositories Loading

  1. quickcheck quickcheck Public

    Forked from nick8325/quickcheck

    Automatic testing of Haskell programs.

    Haskell 13 1

  2. quickcheck-v1 quickcheck-v1 Public

    The original QuickCheck implementation, from 2000!

    Haskell 6

  3. effect-monad effect-monad Public

    Forked from dorchard/effect-monad

    Embeds effect systems in Haskell using 'parametric effect monads'

    Haskell 2

  4. Rewbert Rewbert Public

    A description of me!

    2

  5. futhark-canny-edge-detection futhark-canny-edge-detection Public

    Illustrates canny edge detection implemented in futhark.

    Python 1

  6. JUnitWorkShop JUnitWorkShop Public

    Workshop for JUnit

    Java 1