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