Martin Federico Rouaux

Martin Rouaux

Martin Rouaux

mail: martinfr at gmail dot com

I'm a PhD Student at Departamento de Computacion, Ciencias Exactas y Naturales, Universidad de Buenos Aires.
I finished my Master in Computer Science at Departamento de Computacion, Ciencias Exactas y Naturales, Universidad de Buenos Aires under the supervision of Diego Garbervetsky and Sergio Yovine. My CV is available here.

Research Interests:

Static analysis. Especially analysis aimed at program verification of Java like programs.
Automatic program verficaction.
Computability theory.

Publications:

On transforming Java like programs into memory-predictable code. Diego Garbervetsky, Sergio Yovine, Victor Braberman, Martín Roaux, Alejandro Taboada , 7th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES 2009, page 140--149 - sep 2009
Prediccion parametrica de requerimientos de memoria.Especificacion modular. Master Thesis (Only available in Spanish).