El segundo Workshop del Centro de Investigación Conjunto entre Microsoft Research y el Instituto IMDEA Software tuvo lugar durante el 9-10 de Abril de 2015, en las instalaciones del Instituto IMDEA Software en Madrid. El programa del workshop estaba dirigido a la discusión de los trabajos en colaboración que se están llevando a cabo en diversos proyectos conjuntos y, cómo llevar, en lo posible, dichos avances a los divisiones de producto de Microsoft.
El workshop se centró en los siguientes tres proyectos:
Las jornadas fueron organizadas por Judith Bishop y Cedric Fournet de Microsoft Research y por Manuel Hermenegildo y Alexey Gotsman del Instituto IMDEA Software.
Estos talleres reúnen investigadores y estudiantes con el objetivo de discutir sus trabajos colaborativos en temas de vanguardia relacionados con el software y para, donde sea posible, llevar estos avances al mercado.
Los dos días de workshop incluyeron ponencias plenarias de los siguientes investigadores:
Phil Bernstein es un científico distinguido en el Grupo de Bases de Datos de Microsoft Research en Redmond. Bernstein es también profesor afiliado de la Universidad de Washington y miembro frecuente del comité de programa y presidente de conferencias como VLDB y SIGMOD. Fue premiado con el SIGMOD Edgar F. Codd Innovations Award en 1994. Bernstein es también miembro de la National Academy of Engineering y socio elegido de Association for Computing Machinery. Actualmente, su trabajo se centra en un proyecto de programación de sistemas distribuídos, llamado Project Orleans: Distributed Virtual Actors for Programmability and Scalability.
Aleks Nanevski es investigador en el Instituto IMDEA Software al que se unió en Otoño de 2009. Anteriormente, fue investigador postdoctoral en la Universidad Carnegie Mellon bajo la supervisión del Profesor Edmund Clarke, en la Universidad de Harvard bajo la supervisión del Profesor Gregg Morrisett, y en Microsoft Research, Cambridge. Aleksandar tiene un Doctorado en Computer Science por la Universidad Carnegie Mellon, obtenido en agosto de 2004. Está trabajando actualmente en sistemas de tipos y pruebas estructurales para verificación de software concurrente.
Se puede encontrar más información en las páginas web del Centro Conjunto MSR-IMDEA SOftware y en las páginas del Workshop en Microsoft Research.
