Cargo: Investigador
Dirección: Lifia, calle 50 y 115
La Plata, Prov. Buenos Aires,
La Argentina
teléfono: (+54 221) 423 6585 extensión 212
fax: (+54 221) 422 8252
Pequeña Biografía
Me gradué como Licenciado en Informática en la Universidad Nacional de La Plata (UNLP) y soy actualmente profesor en la UNLP.
Entre 1986 y 1990, fui docente en la Escuela Superior Latino Americana de Informática (ESLAI) y en 1991, cuando cerró; comencé a trabajar como profesor de tiempo completo en la Facultad de Ciencias Exactas (UNLP) y más adelante, cuando fue creada, en la Facultad de Informática.
Desde entonces, soy investigador en el LIFIA, miembro de su junta directiva y director del área de la teoría de la computación y de métodos formales. Desde 2004, me dedico a actividades que implican la promoción de la industria del software.
Intereses de investigación
Trabajé en el área de la Teoría de la Computación por algunos años. Más adelante, desde aproximadamente 1990, me interesé en el área de los métodos formales aplicados al desarrollo y a la prueba del software. Estoy particularmente interesado en los métodos relacionales aplicados a los aspectos del desarrollo del software, especificaciones, derivación de programas, diseño de algoritmos, prueba y validación. En los últimos años me interesé en los aspectos epistemológicos de la computación y particularmente de la programación y del desarrollo del software en general.
También estoy interesado en los aspectos económicos, sociales y políticos de la tecnología de información.
