Welcome to my corner of the internet!
To introduce myself: I thirst for knowledge and the wisdom to wield it, as it were. I live for "Eureka!" moments. In practical terms, I am interested in many domains, including natural sciences, mathematics, computer science, deeptech innovation, climate technologies, software correctness, energy infrastructure, and finance.
Outside of my day job, I write a lot of open-source software. I believe computers should make my life easier, and therefore am immensely fond of purely functional programming. You can learn more about projects I maintain.
You can find more details about my credentials and my thoughts.
If you were looking to read more specifically about my scientific research, you can check out my publications, or head over to the Siwick research group website.
Do not hesitate to reach out!
Recent posts
Generating a client for an API - Servant by construction part 4
In this post, we replicate Servant's ability to automatically derive client functions for an API, using plain Haskell.
Posted on 2025-11-06.
In this post, we replicate Servant's ability to enforce the types of handlers, and automatically route requests, based on a type-level API specification.
Posted on 2025-10-30.
In this post, we start slowly replicating Servant functionality by deriving type-safe links to endpoints defined as types. It introduces us to the way Servant is extended in general.
Posted on 2025-09-29. Last updated on 2025-09-30.
This is the first post in a series on Servant, a Haskell framework for writing backend web applications.
Posted on 2025-09-27. Last updated on 2025-10-30.
Servant by construction - a blog series on Haskell's web stack gem
I introduce a new blog series where we will learn about Servant, a Haskell web framework powered by cutting-edge type-level computation, by building simple versions of its important features.
Posted on 2025-09-26. Last updated on 2025-11-13.
I was elected to the Haskell Foundation's board of directors. Let me tell you about it.
Posted on 2025-07-08.
I started a business, Powerweave. In this post, I explain what Powerweave is and why it is important to me.
Posted on 2024-04-05. Last updated on 2025-02-08.
…or you can find more in the archives.