| 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: | fbrusatti@dc.exa.unrc.edu.ar |
| Oficina: | A13.G |
| Teléfono: | +54 (0)358 4676 235 |
Soy docente del Departamento de Computación de la Facultad de Ciencias Exactas, Físico-Químicas y Naturales, Universidad Nacional de Río Cuarto.
|
|
Métodos formales para la verificación y validación de software (model checking, symbolic model checking, abstraction), en mi tesis de Licenciatura profundicé mi estudio sobre model checking, escribiendo una caracterización en una lógica ecuacional de pertenencia y una lógica de reescritura en el sistema Maude de una estructura de datos llamada BDDs (Binary Decision Diagrams), estructuras utilizadas por los symbolic model checkers para optimizar el espacio de exploración, bajo la direcció,n de Nazareno Aguirre.
También me he interesado por la historia de la computación (principalmente en mi país) participando de un proyecto de investigación denominado Salvando la Memoria de la Computación en Argentina dirigido por el Profesor Jorge Aguirre.
En el campo pragmático me intereso por el desarrollo de aplicaciones Web, soy responsable del mantenimiento del sitio del Dpto. de Computación y desarrollador del sitio de la escuela de verano que organiza el mismo, en los últimos meses he incursionado en el desarrollo via Ruby on Rails (RoR).
Me gradué como Licenciado en Ciencias de la Computación (Octubre de 2007) en el Departamento de Computación, Facultad de Ciencias Exactas, Físico-Químicas y Naturales, Universidad Nacional de Río Cuarto.
Este cuatrimestre colaboro en el dictado de la asignatura "Análisis Comparativo de Lenguajes (Cód: 1956)". Los alumnos de esta materia pueden encontrar información y material en la página de la asignatura.
Actualmente soy integrante del proyecto "Salvando la Memoria de la Computación en Argentina - SaMCA" financiado por la Secretaría de Ciencia y Técnica de la Universidad Nacional de Río Cuarto.
También participo en el proyecto "Hacia una Semántica Formal de Arquitecturas de Software, su Reconfiguración y Evolución", financiado por la Secretaría de Ciencia y Técnica de la Universidad Nacional de Río Cuarto.