I'm a Ph.D. candidate at the Computer Science and Engineering department of Chalmers University of Technology in Sweden, under the supervision of Alejandro Russo. Previously, I received a Licentiate Degree in Computer Science at the National University of Rosario in Argentina.

My research lies in the intersection of functional programming and software security. In particular, I'm focused on developing automatic testing tools by exploiting the rich information encoded in strongly-typed programs.

I'm a part of the Octopi project, a platform for secure programming IoT devices using functional programming. Additionally, I'm a collaborator of QuickFuzz, a grammar fuzzer written in Haskell that discovered a bunch of zero-day vulnerabilities on web browsers and image processing libraries, among others.

In 2021, I became the Lead Software Engineer at DPella, a start-up commited on developing correct-by-construction tools that enable performing privacy-preserving analytics over sensitive data.

Sometimes I also write about random stuff.

• 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
• 2022-11-25 - Hello, world!

• 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