Contact Details
Facultad
de Cs. Exactas, Ingeniería y Agrimensura
Universidad
Nacional de Rosario
Pellegrini 250
Rosario, S2000BTP
+54 (341) 4802649 (int. 231)
mauro at fceia unr edu ar
Recent Papers
-
Monad Transformers as Monoid Transformers
with Eugenio Moggi. Accepted for Publication.
Journal of Theoretical Computer Science 2010 PDF -
Factorising Folds for Faster Functions
with Graham Hutton and Andy Gill. Accepted for Publication.
Journal of Functional Programming 2010 PDF PDF (ext. version) -
ESOP 2009.publications.html PDF
Teaching
Currently teaching: ALPII - Análisis de Lenguajes de Programación II .
I've taught "Web Programming and Scripting" at the University of Nottingham, "Database Systems" and "Unix and Software Tools" at the University of Nottingham Ningbo, China.
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.)