Menu:Noticias:Aleks Nanevski (Ph.D. Carnegie Mellon, 2004) se ha incorporado a la plantilla de IMDEA Software como Assistant Research Professor. Realizó estancia postdoctoral en Microsoft Research, Cambridge[leer mas] Pierre Ganty (Ph.D. Université Libre de Bruxelles, 2007) se ha unido a la plantilla de IMDEA Software como Assistant Research Professor. Realizo su posdoctorado en UCLA [leer mas] |
Noticias de IMDEA Software23 Octubre de 2009: Aleks Nanevski se une a IMDEA SoftwareAleks Nanevski se ha incorporado a la plantilla de IMDEA Software como investigador en octubre de 2009. Aleks se doctoró en la Universidad Carnegie-Mellon y realizó estudios postdoctorales en Microsoft Research, Cambridge, y en la Universidad de Harvard. Los intereses de Aleks se centran en el diseño e implementación de lenguajes de programación y en las metodologías que facilitan la especificación y verificación de varias propiedades de los programas. También está interesado en todos los aspectos de la compilación y optimización de los lenguajes de programación modernos y en otros métodos de verificación formales, como la demostración interactiva y automática de teoremas, procedimientos de decisión, análisis de programas y la verificación formal de software (software model checking).1 Septiembre de 2009: Pierre Ganty se une a IMDEA SoftwarePierre Ganty se ha incorporado a IMDEA como investigador. En Septiembre del 2007, Pierre recibió su doctorado por universidad Libre de Bruselle. Antes de incorporarse a IMDEA, realizó un postdoctorado en UCLA (University Los Angeles, California). Sus lineas de investigación son (sin orden): verificación de sistemas con infinitos estados; las técnicas de abstractas de refinamiento para verificación; técnicas de análisis acotado; lógica y teoría de autómatas; algoritmos y herramientas para el diseño y verificación de sistemas reactivos y distribuidos; análisis de programas ; y métodos formales para sistemas distribuidos: redes de petri.9 de Abril de 2009: Primera reunion del proyecto HATSGilles Barthe, Manuel Hermenegildo y Manuel Clavel participaron en la primera reunión del projecto HATS, celebrada en Bolonia (Italia) del 9 al 11 de marzo de 2009. HATS es un projecto europeo del 7 Programa Marco, orientado al desarrollo de familias de productos software. El nucleo científico del projecto consiste en la definición de un lenguaje para la especificación abstracta del comportamiento que permita la descripción precisa de las características y de los componentes tanto de las familias de productos software como de sus instancias. IMDEA Software forma parte del consorcio HATS, en colaboración con la UPM, junto con otros 7 socios académicos, 2 centros de investigación y 1 PYME. 9 de Abril de 2009: Comienza el programa AMAROUT para la movilidad de investigadoresLa red de institutos IMDEA ha obtenido la aprobación de un programa de cofinanciación de movilidad de investigadores dentro de las acciones Marie-Curie del 7 Programa Marco. El programa, denominado AMAROUT, financiará la incorporación a la red de institutos IMDEA de más de 130 investigadores de excelencia durante un año (extensible hasta tres). La duración del programa AMAROUT es de cuatro años a partir del 1 de marzo de 2009. IMDEA Software es el coordinador del programa AMAROUT 1 de Febrero de 2009: Anindya Banerjee se une a IMDEA SoftwareAnindya Banerjee se incorporará a la plantilla de IMDEA Software en diciembre de 2008. Anindya ha sido hasta ahora Catedrático en el Departamento de Computación y Ciencia Informática de la Kansas State University, y durante 2007--2008 fue investigador visitante en el Programming Languages and Methodology group de Microsoft Research en Redmond, en estancia sabática de KSU.1 de Enero de 2009: Ganador del concurso de ideas para el nuevo edificioAl comienzo de 2008, IMDEA Software publicó un concurso de ideas para el diseño de su nuevo edificio, recibiendo respuestas de seis arquitectos de renombre. En noviembre de 2008, un comité formado por miembros de IMDEA Software, la Comunidad de Madrid y expertos externos decidieron el diseño ganador del concurso, por Estudio Lamela. La construcción de este nuevo edificio comenzará en 2009 y se prevee culminar para el comienzo de 2011. |
