Desde los Centros de Excelencia Software nos invitan a asistir a la Conferencia que impartirá el catedrático del Departamento de Sistemas Informáticos y Computación de la Universidad Complutense de Madrid, Ricardo Peña. 

El título de la conferencia es: Código con certificado, la definitiva garantía de seguridad

Día: jueves, 13 de marzo
Hora: De 18.30 a 20.15 h.
Lugar: Salón de Actos, Centros de Excelencia Software. CEIN.

Dirigido a: desarrolladores, analistas, jefes de proyecto, estudiantes de ciclo superior, investigadores.

La charla tratará de las nuevas tendencias en análisis de programas y la generación de certificados que puedan ser comprobados automáticamente por herramientas de demostración matemática, de las cuales existen varias disponibles, alguna incluso a nivel industrial.

El ponente es autor de varios libros, entre ellos el histórico-divulgativo "De Euclides a Java: historia de los algoritmos y de los lenguajes de programación". Ha publicado alrededor de una cincuentena de artículos científicos en congresos y revistas internacionales.

Mas información