El tercer Taller del Centro de Investigación Conjunto entre Microsoft Research y el Instituto IMDEA Software se celebra el 3 y 4 de Mayo de 2016, en las instalaciones de Microsoft Research en Cambridge, Reino Unido. El programa del taller está dirigido a la presentación de los trabajos en temas de vanguardia que ambos centros realizan en colaboración y a discutir cómo llevar, donde sea posible, dichos avances al mercado.
El taller se centra en los siguientes tres proyectos:
Las jornadas están organizadas por Judith Bishop y Markulf Kohlweiss de Microsoft Research y por Manuel Hermenegildo y Alexey Gotsman del Instituto IMDEA Software.
Los dos días de taller incluyen ponencias plenarias de los siguientes investigadores:
Dr. Brian A. LaMacchia “bal” para sus amigos, es el Director del grupo de Seguridad y Criptografía en Microsoft Research (MSR), que realiza investigación básica y aplicada sobre estas temáticas. Brian es miembro fundador del “Microsoft Cryptography Review Board” y asesora a todas las divisiones de Microsoft en seguridad y criptografía a nivel de arquitectura, protocolos e implementaciones. Antes de unirse a la división de investigación en Microsoft en 2009, Brian era Arquitecto para Criptografía en Windows Security, Desarrollador Principal de la seguridad del entorno .NET, y Director Técnico de Criptografía en Windows 2000. Antes de Microsoft, Brian fue investigador en AT&T Labs—Research.
Dr. Pierre Ganty es Associate Professor (con tenure) en Instituto IMDEA Software. Su investigación se centra en la verificación de sistemas con un número potencialmente infinito de estados, cubriendo desde los aspectos teóricos fundamentales hasta el desarrollo de algoritmos y la implementación. Pierre obtuvo su Doctorado en 2007, conjunto por la Universidad de Bruselas (Bélgica) y la Universidad de Génova (Italia). Posteriormente, realizó una estancia post-doctoral de dos años en la Universidad de California (Los Ángeles). Pierre se une al Instituto IMDEA Software en 2009 como Assistant Research Professor.
Se puede encontrar más información en las páginas web del Centro Conjunto MSR-IMDEA Software y en las páginas del Taller en Microsoft Research.
