Recent Papers

Activities

I am on the PC of the 25th Symposium on Implementation and Application of Functional Languages (IFL 2013), the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), and on the PC of the Simposio de Teoría Computacional of the 39th Conferencia Latinoamericana en Informática (CLEI 2013).

Previously I was on the PC of IFL 2012, TFP 2011, OpenCert 2011, MSFP 2010, and EST (JAIIO 2010).

Teaching

Currently teaching: ALP - Análisis de Lenguajes de Programación .

I've previously taught:

• Mini-course on Programming with Dependent Types at JCC 2012;

• Algoritmos y Estructuras de Datos II;

• ALPII - Análisis de Lenguajes de Programación II ;

• Estructura de Datos;

• "Web Programming and Scripting" at the University of Nottingham;

• "Database Systems" and "Unix and Software Tools" at the University of Nottingham Ningbo, China.

Students

Dante Zanarini and Exequiel Rivas are currently doing their PhD under my supervision.

Ignacio Aguilera is working on his graduate thesis.

I've supervised the graduate thesis of the following students:

• Pablo Buiras, co-supervised with Alejandro Díaz-Caro.

• Germán A. Delbianco, co-supervised with Alberto Pardo.

About Me

I finished my Phd on September 2009 after defending my thesis on "Lifting of Operations in Modular Monadic Semantics", under the supervision of Graham Hutton and Neil Ghani, working with the Functional Programming Laboratory , at the University of Nottingham.

I obtained a Licenciateship in Computer Science at FCEIA - Universidad Nacional de Rosario in Argentina on December 2004. Before that, I studied Electronic Engineering.

My graduate thesis on generic accumulations has been published by the University press and it's available for download (PS/PDF). My graduate thesis supervisor was Alberto Pardo.

During the first semester of 2005 I did an internship at Loria, where I verified Disk Paxos using Isabelle. A technical report and the complete proofs are published in the Archive of Formal Proofs.

Other interests

I enjoy watching films, particularly films that defy genres. A prominent source of these kind of films is asian cinema, watch Save the Green Planet and you'll know what I mean (despite the high IMDb rating it's a wonderful movie.)