During the end of 2020 and beginning of 2021, I did a internship
at IMDEA Software Institute
collaborating with Prof. César
Sánchez.
We studied the behaviour emerging from the interaction between smart
contracts and how to formally specify and verify properties about smart
contracts.
We developed a Coq library called Multi to
study the behaviour emerging from the interaction between smart-contracts.
Happily, we did not conclude our work and I am still working with César.
I did my PhD research at
CIFASIS under the guidance
of Dr. Mauro Jaskelioff.
My thesis focused on Improvement Theory developed extensively
by Prof.
Sands early in the nineties. The main goal of my thesis was to develop
an effectful improvement theory, i.e. an improvement theory for languages
with algebraic effects.
In collaboration with Gustavo Grieco, Pablo
Buiras andAgustin Mista, we developed random
generation test case tool based on Haskell complex
types, QuickCheck and how implementors define complex
data structures in their libraries.
My main contribution was to extend the initial code base developed by
Pablo, and designing new strategies to automatic derive QuickCheck
arbitrary classes, resulting a tool we
called MegaDeTH .
The tool is
called QuickFuzz, but
sadly is not maintain anymore.
Until 2015, I was a student in the Department of Computer Science at Universidad
Nacional de Rosario.
In 2013, I did an intership at IMDEA
Software Institute (Madrid, Spain) under the supervision
of Benedikt Schmidt, in the development of
automatic tactics in EasyCrypt.
In this internship I learned about Modern Cryptography Proofs, and a bit about
tactic development. I developed an automatic tactic (or megatactic) which
implemented a classic cryptography step called optimistic
sampling.