Actualidad
Pabellón FCEx

Charla "Programación Segura"

Mié, 27/02/2019 - 14:00
Sala de Video Conferencias de Biblioteca

El Departamento de Computación y Sistemas invita a la charla "Programación Segura", a cargo de la Dra. Tamara Rezk, este miércoles 27 de febrero a las 14:00, en la Sala de Video Conferencias de la Biblioteca.

 

Información sobre la charla:

Título: Programación Segura

Expositor: Tamara Rezk

Lugar: Sala de Video Conferencias, Biblioteca. 

Día y hora: Miércoles 27 de Febrero 14 hrs.

 

Resumen: 

En esta charla la Dra. Tamara Rezk mostrará las direcciones de investigación de su grupo de Inria. 

El área es la programación segura y más específicamente la definición formal de propiedades de seguridad así como también los lenguajes y sistemas que satisfacen dichas definiciones. 

Durante la charla mostrará dos ejemplos, uno relacionado con criptografia y otro relacionado con seguridad de la web.

 

Pequeña Biografia: 

Tamara Rezk recibió su doctorado así como una habilitación a dirigir investigación de la Universidad de Niza Sophia Antipolis. 

Antes de ésto, recibió el título de Licenciada en Ciencias de la Computación de la Universidad Nacional de Córdoba. 

Desde finales de 2007 posee un puesto de investigadora en Inria Sophia Antipolis Francia. 

Sus temas de investigación se encuentran en la intersección entre los temas de lenguajes de programación, métodos formales y seguridad.