Nos complace invitarlos a participar en la charla “Calidad de Software en Sistemas basados en Ciencia de Datos”, que se llevará a cabo el viernes 21 de marzo a las 18:30 hs. en modalidad remota por Zoom y YouTube.
La charla es gratuita y podés anotarte ingresando en este link:
Temario:
– Qué es la Verificación Formal de Software y porqué se la necesita.
– Cómo aggiornar la Ingeniería de Software a los nuevos paradigmas de desarrollo.
– La revolución de la Ciencia de Datos- Los Desafíos para Verificar Sistemas en Ciencias de Datos.
– Aproximaciones formales al tema.
– Conclusiones.
Disertante: Ing. Fernando Asteasuain
– Es Licenciado en Ciencias de la Computación y Doctor en Ciencias de la Computación de la Universidad Nacional del Sur (UNS). Hace más de 10 años investiga en el área de Ingeniería de Software, dirigiendo tesis de grado y posgrado, dirigiendo proyectos financiados de investigación y publicando de manera continua en congresos nacionales e internacionales, así como en revistas especializadas en el área.- Tópicos como la especificación temprana del comportamiento, modelos de sistemas de software, verificación formal de software con herramientas de avanzada conocidas como model-checking son recurrentes en sus investigaciones.
Desde 2014 es investigador y docente de la Universidad Nacional de Avellaneda en la carrera de Ingeniería en Informática. Participó activamente en la formación de recursos humanos, tanto alumnos avanzados como investigadores en formación, asistiendo a numerosos congresos y eventos científicos. Además, en los últimos 3 años lideró proyectos sobre el desarrollo de software para nanosatélites.
.
.
.
.
.
.
#software #cienciadedatos #ingenieríadedatos #charla #adistancia