Research

My research can be split in multiples sections, basically I have been trying to find myself and what the hell do I like.

PhD Thesis

Compare programs efficiency is troublesome. So I want to solve that.

Right now I am mixing 3 theories:

Inital Algebra Semantics: Interpreters as catamorphisms give us modularity (and simplicty). As we shall see we can lift relations in order to gain some useful theorems down the road.
Domain Program Semantics: We need to interpret (functional) programs into some domain, and I do like domain theory.
Improvement Theory: Finally, we want to build an improvement theory to compare programs. This is our goal, given an interpreter with some constraints, we want to give you back a mathematical framework where you can prove (actually prove) that a program (or something like that, it could be a partial program a.k.a a macro) is better than another one. Pretty useful to prove compiler optimizations.

Automated test case generation based on typed structures in Haskell An old project with Gustavo Grieco, Pablo Buiras and Agustin Mista.

Do I have to write this?