+54 294 4445162      Bustillo km 9,5  Bariloche, RN, Argentina, R8402AGP

COLOQUIO DEL 15/03: Verificación y síntesis de software concurrente: una aplicación a vehículos autónomos no tripulados

El coloquio del Instituto Balseiro del viernes 15 de marzo se titula: "Verificación y síntesis de software concurrente: una aplicación a vehículos autónomos no tripulados". El expositor es Sebastián Uchite,  Investigador Principal del CONICET, Profesor Titular del Departamento de Computación, FCEN, UBA y Director del Instituto UBA/CONICET de Ciencias de la Computación.
Se realizará a las 14.30 hs. en el Salón de Actos del Instituto Balseiro, en el Centro Atómico Bariloche (Av. Bustillo 9500). La entrada es gratuita y abierta a todo el público. Para ingresar, es necesario presentar el DNI en la entrada del CAB.

Resumen:

Construir software sin errores es extremadamente difícil, y si es de alguna complejidad interesante, podríamos decir que es imposible. Sin embargo, quienes trabajamos en el área de verificación de software intentamos abordar esta imposibilidad construyendo herramientas que puedan dar garantías totales sobre el comportamiento del software. La investigación en síntesis de software intenta ir un paso más allá, construyendo automáticamente software libre de errores. Nada de esto parece tener chances de funcionar, y sin embargo…En este coloquio comentaré, a modo de introducción para no expertos, la problemática de verificación de software y, en particular, la del software reactivo. Luego, voy a hablar sobre la síntesis de controladores de eventos discretos, un tema hermanado con la inteligencia artificial, y de cómo estamos tratando de aplicar técnicas de síntesis a vehículos autónomos no tripulados.

 
Minibio:
 
Sebastián Uchitel es Investigador Principal del CONICET y Profesor Titular del Departamento de Computación, FCEN, UBA. Dirige el Instituto UBA/CONICET de Ciencias de la Computación y es profesor visitante en el Imperial College (Reino Unido), donde realizó su doctorado, y en el National Institute of Informatics (Japón). Su área de investigación es la de la Ingeniería de Software y, más específicamente, el modelado, análisis y síntesis de software. Es parte del board editorial de Communications of the ACM y lo ha sido también de IEEE Transactions on Software Engineering. Ha sido program chair y general chair de IEEE/ACM International Conference on Software Engineering. La ACM lo ha reconocido como ''Distinguished Scientist’’ por sus contribuciones en el uso de descripciones parciales para el modelado y análisis de software. También ha sido galardonado con el Premio Houssay y por la Fundación Konex.

Información adicional

  • Fecha: Viernes, 15 Marzo 2019
  • Hora: 14.30
  • Lugar: Salón de Actos del Instituto Balseiro / Centro Atómico Bariloche (Av. Bustillo 9500).
  • Entrada: Gratuita. Se debe presentar DNI en la entrada del CAB.