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.