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

My weapon of choice is Haskell, but I also regularly get hurt messing with C, TypeScript, and Python.

I earned 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 joined DPella in 2021, a start-up commited to developing correct-by-construction tools that allow computing privacy-preserving analytics over sensitive data using Differential Privacy.

Sometimes I also write about random stuff.

• 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