Click here for this page in Spanish

Francisco Pedro Bavera

I am a member of the academic staff at Departamento de Computacion, Facultad de Ciencias Exactas, Fisico-Quimicas y Naturales, Universidad Nacional de Rio Cuarto.
I start my PhD studies, funded by the Consejo Nacional de Investigaciones Cientificas y Tecnicas (CONICET) at Departamento de Computacion, Facultad de Ciencias Exactas, Universidad Nacional de Buenos Aires (UBA), working under the supervision of Eduardo Bonelli.
.

Contact Information

Address: Departamento de Computacion, FCEFQyN, Universidad Nacional de Rio Cuarto, Enlace rutas 8 y 36, Km 601, Rio Cuarto (5800), Cordoba, Argentina Email: pancho AT dc.exa.unrc.edu.ar Office: A11.2 Telephone: +54 (0)358 4676 235

Publications and Reserch

My areas of research are Compilers, Automata and Languages, Program Verification, Static Analsysis, Proof-Carrying Code, Information Flow, Formal Verification Techniques for Embebed Systems (ej. SmartCards).

Publications

Currently, I work mainly on information flow and declassification for java bytecode used type system under the supervision of Eduardo Bonelli .

Other projects: PCC-SA and CCMini, JTLex and Proof-Carrying Code for Concurrent Environment (particularly for Java multi-thread programs). (in Spanish).

Estudies

I'm PhD student of the Departamento de Computacion, Facultad de Ciencias Exactas, Universidad Nacional de Buenos Aires.

My degrees:

• Master of Informatics - December 2005 - INCO, Universidad de la Republica, Montevideo, Uruguay.
• Licenciado in Computer Science - October 2002 - Computer Science Departement, National University of Rio Cuarto, Argentina.
• Computing Analyst - March 2001 - Computer Science Departement, National University of Rio Cuarto, Argentina.

Teaching

• Course I co-teach this semester: "Automatons and Formal Lenguages". Course web page (in Spanish).
• Course I teach in the past semester: "Compilers". Course web page (in Spanish).