El primer Taller del Centro Conjunto de Investigación entre Microsoft Research y el Instituto IMDEA Software tuvo lugar entre el 2 y 4 de abril del 2014 en las instalaciones del Insituto IMDEA Software en Madrid. El objetivo del taller fue reforzar la colaboración entre estas dos instituciones en los siguientes temas:
El taller fue la primera actividad del nuevo Centro, en el cual los investigadores de ambas instituciones han trabajado en temas de interés comunes. El taller fue organizado por Dña. Judith Bishop y D. Georges Gonthier de Microsoft Research y Gilles Barthe y Manuel Hermenegildo de Instituto IMDEA Software.
Estos talleres agrupan a investigadores y estudiantes para discutir sobre su trabajo colaborativo en temas candentes del software con el objetivo del avanzar en el estado del arte, y allá donde sea posible, trasladar estos avances al mercado. El foco del primer taller fueron: la verificación (coordinado por Alexey Gotsman y Francesco Logozzo), los lenguajes de programación (coordinado por Pierre-Yves Strub y Georges Gonthier) y la seguridad (coordinado por Juan Caballero y Ben Livshits).
El taller de tres días incluía los siguientes invitados:
Martín Abadi es el investigador principal de Microsoft Research en el Silicon Valley. Fue profesor de UC Santa Cruz, donde es ahora profesor emérito, y tambien tiene un puesto en Informatique et sciences numériques en Collège de France. Anteriormente ha estudiado en la Standford University y ha trabajado en el Digital’s System Research Center y otros laboratorios industriales. Su investigación se centra principalmente en la seguridad de ordenadores y redes, lenguajes de programación y métodos de especificación y verificación.
Ben Livshits es investigador científico en Microsoft Research y profesor asociado en la Universidad de Washington. Ha recibido su título de grado en ciencias de la computación y matemáticas en la Cornell University, y su postgrado y doctorado en ciencias de la computación en la Stanford University. Su interés incluye aplicaciones de técnicas analíticas para la búsqueda de errores en programas y en general privacidad, seguridad y rendimiento de grandes programas.
Alexey Gotsman es Profesor Investigador en el Instituto IMDEA Software. Antes de incorporarse al IMDEA, fue estudiante de postdoctorado en la Universidad de Cambridge, donde obtuvo su doctorado. Su interés se centra en la verificación de software, particularmente en el desrrollo de técnicas de razonamiento y herramientas de verificación automática para sistemas software concurrentes en tiempo real.
Más información en MSR-IMDEASW Joint Research Center web site y Workshop site at Microsoft Research.
