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
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-09-30.
I introduce a new blog series where we will learn about Servant, a Haskell web framework powered by cutting-edge type features, by building simple versions of its important features.
Posted on 2025-09-26. Last updated on 2025-09-29.
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.
I'm building a trading stop-loss system, and I have discovered that it forms a neat algebraic structure.
Posted on 2023-05-07. Last updated on 2025-02-08.
This post shows how to design efficient rolling statistics routine based on recurrence relations, as well as implementations in Haskell.
Posted on 2023-03-23. Last updated on 2025-02-08.
…or you can find more in the archives.