Luchando contra Errores, Fallas y Chantadas para construir Software Confiable
El Centro de estudiantes de FAMAF (CEIMAF) organiza regularmente el Mes de la Ciencia. Las charlas que allí se dictan están destinadas a estudiantes de las carreras de grado, con el objetivo de familiarizarles y hacerles llegar la producción científica de conocimiento de la FAMAF y la actividad que se realiza en distintos grupos de investigación.
En ese marco, el CEIMAF me invitó a participar en la edición 2022 que tuvo lugar en el mes de noviembre para que dé una charla haciendo conocer lo que se hace en mi grupo de investigación. Las transparencias aquí adjuntas son una adaptación y actualización de charlas anteriores.
Debo decir que me fue super grata la interacción que se dio los alumnos y cuyas inquietudes produjeron una charla muy interesante.
Título: Luchando contra Errores, Fallas y Chantadas para construir Software Confiable.
Resumen: En esta presentación debatimos sobre tres tipos de problemas que afectan a los sistemas críticos (SC) -sean estos de seguridad crítica o de misión crítica- y comentamos sobre distintas técnicas respaldadas matemáticamente para poder atacar estos problemas. La charla esta enfocada en las investigaciones que realizamos en el grupo de Sistemas Confiables estos últimos años.