Hej! I'm a software engineer based in Sweden.

My weapons of choice are Haskell and Nix, but I also have experience with a variety of other languages and tools. My professional interests include automated testing, programming languages design and implementation, digital electronics, low-level programming, web development, among many others.

I hold a Ph.D. in Computer Science from Chalmers University of Technology, where I conducted my research under the guidance of Alejandro Russo. Before that, I received a Licentiate Degree in Computer Science from the National University of Rosario.

I'm currently working as a Haskell engineer at Tweag (part of Modus Create) on highly-specialized projects. Previously, I focused on developing reproducible build environments at Zenseact and worked at DPella, where I helped develop the pilot version of their custom differentially-private programming language.

I also write about random stuff sometimes. Not as much as I'd like, though.

• 2023-06-19 - It's over
• 2023-01-15 - Creating CI jobs dynamically in GitHub
• 2023-01-14 - Persistent cabal store in Haskell devcontainers
• 2022-12-12 - Works on my machine™
• 2022-11-30 - Dusting the bookshelf

• 2023 - Language-Based Techniques and Stochastic Models for Automated Testing
• 2023 - MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations
• 2021 - MUTAGEN: Faster Mutation-Based Random Testing (extended abstract)
• 2020 - Short Paper: Weak Runtime-Irrelevant Typing for Security
• 2020 - Automated Derivation of Random Generators for Algebraic Data Types