Calidad de Software en Sistemas basados en Ciencia de Datos
- FUNDETEC ORGAR
- 10 mar
- 1 Min. de lectura
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.
Comentarios