Bio e Intereses de Investigación | Publicaciones |Proyectos y Enseñanza
Dr. Pablo Martínez Lopez
Participación en Proyectos

INTERNACIONALES
- Plataforma híbrida de seguridad para protección de aplicaciones web.
Responsables: Ariel Futoransky y Gabriel A. Baum.
De marzo de 2006 a mayo de 2007.
Proyecto de investigación aplicada junto con la empresa Core SDI S.A.

- Implementation of Domain-Specific Languages: Evaluation of Approaches (IDEA).
Responsables: Marjan Mernik y Gabriel A. Baum.
De marzo de 2003 a diciembre de 2005.
Proyecto de investigación conjunta entre CONICET (Argentina) y República de Eslovenia.

- Combinación de técnicas funcionales y relacionales para la derivación de programas.
Responsables: Laurence Puel y Gabriel A. Baum.
Años 1997 y 1998.

Proyecto de investigación conjunta entre CONICET (Argentina) y CNRS (Francia).
- Formal Approach to Real Time Systems (ARTS).

Director: Armando M. Haeberer.
Año 1997.

Proyecto de colaboración entre:
LMF, PUC, Brasil
LIFIA, UNLP, Argentina
Equitel, Brasil
LMU, München, Germany
FAST, Germany
Imperial College, London, UK

NACIONALES
- Ingeniería de aplicaciones colaborativas ubicuas.
Dirigido por Silvia Gordillo.
Proyecto acreditado para el programa de incentivos, código 11/F04.
LIFIA, Facultad de Informática, UNLP.
Años 2005 a 2007.

- Bases de datos y métodos formales.
Dirigido por Silvia Gordillo.
Proyecto acreditado para el programa de incentivos.
LIFIA, Facultad de Informática, UNLP.
Años 2003 a 2004.

- Desarrollo de Software Avanzado con Métodos Formales y Sistemáticos.
Dirigido por Gabriel A. Baum.
Proyecto acreditado para el programa de incentivos.
LIFIA, Facultad de Informática, UNLP.
2do semestre 2000, años 2001 y 2002.

- Métodos formales en la ingeniería de software.
Dirigido por el Prof. Dr. Marcelo Frias
Proyecto UBACyT 2000-2001, código X094.
Dto. de Computación, Fac.Cs.Exactas y Naturales, UBA.
Marzo 2001 a marzo 2003.

Enseñanza

PRIMER SEMESTRE
Programación Funcional Avanzada (profesor adjunto)
Institución: UNLP
Curso de grado de: Lic. en Informática

Análisis de Lenguajes de Programación II (profesor adjunto)
Institución: UNR
Curso de grado de: Lic. en Informática

SEGUNDO SEMESTRE
Programación Funcional (profesor adjunto)
Institución: UNLP
Curso de grado de: Lic. en Informática

Estructuras de Datos (profesor adjunto)
Institución: UNR
Curso de grado de: Lic. en Informática