Staff

  • Licenciado en Informática
  • Investigación
  • Rol: Investigador
  • Gabriel Baum

Biografía

Baum se graduó como Licenciado en Informática en la Universidad Nacional de La Plata (UNLP) y es actualmente profesor en la UNLP. Entre 1986 y 1990, fue 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, en la Facultad de Informática. Desde entonces, es 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, se dedica a actividades que implican la promoción de la industria del software.

Intereses

El Lic. Baum trabajó en el área de la Teoría de la Computación por algunos años. Desde 1990, se interesó en el área de los métodos formales aplicados al desarrollo y a la prueba del software. Además, está 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 se dedicó en los aspectos epistemológicos de la computación y particularmente de la programación y del desarrollo del software en general. También le interesan los aspectos económicos, sociales y políticos de la tecnología de información.

Enseñanza

Lenguajes formales y autómatas (Profesor) Institución: UNLP Carrera: Lic. en Informática