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 focused on developing reproducible software environments at Zenseact. Before that, I worked at DPella, helping develop their first pilot solution.

I also write about random stuff. 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