Click here for this page in English

Francisco Pedro Bavera

Soy docente del Departamento de Computación, Facultad de Ciencias Exactas, Físico-Químicas y Naturales, Universidad Nacional de Río Cuarto.
Soy becario de doctorado de la Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET).
Estoy comenzando mis estudios de doctorado en el Departamento de Computación de la Facultad de Ciencias Exactas de la Universidad Nacional de Buenos Aires bajo la supervisión de Eduardo Bonelli.

Cómo Contactarme

Dirección: Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto, Enlace rutas 8 y 36, Km 601, Río Cuarto (5800), Córdoba, Argentina Email: pancho AT dc.exa.unrc.edu.ar Oficina: A11.2 Teléfono: +54 (0)358 4676 235

Investigación

Las áreas que más me intersan son: Compiladores, Análisis Estático de Programas, Verificación, Validación y Certificación de Programas. También me interesa los temas relacionados con Proof-Carrying Code (PCC), Information-Flow, Lenguajes de Programación, Autómatas y Lenguajes.

Publicaciones

Actualmente estoy trabajando en Information-Flow y Declasificación en programas Java bytecode utilizando sistemas de tipos bajo la supervisión de Eduardo Bonelli.

Otra línea que empece a trabajar: Proof-Carrying Code para Entornos Concurrentes, enfocado a aplicaciones Java multi-thread.

Otros proyectos en los que participe PCC-SA y CCMini y JTLex.

Fuí becario de la Agencia Nacional de Promoción Científica y Tecnológica desde el 01/05/2005 al 31/03/2007. Tema: "Proof-Carrying Code para Entornos Concurrentes".
Fuí becario de la Agencia Córdoba Ciencia desde el 30/06/2003 al 30/04/2005. Tema: "Prototipación de Compiladores para Proof-Carrying Code".

Estudios

Soy estudiante de doctorado del Departamento de Computación, Facultad de Ciencias Exactas, Universidad Nacional de Buenos Aires.

Magister en Informática (Diciembre de 2005) en el Instituto de Computación (INCO) de la Facultad de Ingeniería de la Universidad de la Republica, Montevideo, Uruguay.

Licenciado en Ciencias de la Computación (Octubre de 2002) en el Departamento de Computación, Facultad de Ciencias Exactas, Físico-Químicas y Naturales, Universidad Nacional de Río Cuarto.

Analista en Computación (Marzo de 2001) en la misma universidad.

Docencia

Actualmente tengo un cargo de Ayudante de Primera. Responsable de las materias de la Licenciatura en Ciencias de la Computación:
Autómatas y Lenguajes
Taller de Diseño de Sotfware (Compiladores)

Eventos