Francisco Bavera

Imagen de Francisco Bavera
Doctor en Ciencias - Orientación en Computación
Profesor Adjunto
E-mail: 
pancho@dc.exa.unrc.edu.ar
Oficina: 
A11-B
Teléfono: 
+54-0358-4676235
Bio: 

Investigación

Las áreas que me interesan 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.

Algunos proyectos en los que participe: Information-Flow and Robust Declassification for Java Bytecode, Justification Logic and Audited Computation, PCC-SA (Proof-Carrying Code and Static Analysis), CCMini (Mini Compilador Certificante) y JTLex (Generador de Analizadores Léxicos usando Expresiones Regulares Traductoras).

Fuí becario de Posgrado del CONICET (01/04/2006 al 31/03/2011); de la Agencia Nacional de Promoción Científica y Tecnológica (01/05/2005 al 31/03/2006,); y becario de Inveestigación de la Agencia Córdoba Ciencia (30/06/2003 al 30/04/2005).

Docencia

Actualmente tengo un cargo de Profesor Adjunto, responsable de las materias de la Licenciatura en Ciencias de la Computación:

  • Autómatas y Lenguajes
  • Taller de Diseño de Sotfware (Compiladores)

Estudios

  • Doctor en Ciencias de la Computación (2012) en el Departamento de Computación, Facultad de Ciencias Exactas, Universidad Nacional de Buenos Aires.
  • Magister en Informática (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 (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.

Eventos

Enlaces

Póngase en contacto con nosotros

Nuestras redes sociales

No dudes en comunicarte con nosotros usando las redes sociales.

Contacto

Departamento de Computación

Facultad de Ciencias Exactas, Físico-Químicas y Naturales
Universidad Nacional de Río Cuarto
Ruta Nacional No. 36, Km. 601
Código Postal X5804BYA
Río Cuarto, Córdoba, Argentina

 

Teléfonos: +54 (0358) 4676235/529
Fax:  +54  (0358) 4676235
e-mail: ivan@dc.exa.unrc.edu.ar

Education - This is a contributing Drupal Theme
Design by WeebPal.