Noticias del Instituto IMDEA Software
El evento tuvo lugar del 19 al 21 de septiembre en la Escuela Técnica Superior de Ingenieros Industriales de la Universidad Politécnica de Madrid (UPM).
El Profesor Adjunto del Instituto IMDEA Software terminó haciendo sus estudios de doctorado por un accidente del que nunca se arrepentirá
El programa ACM Fellows se estableció en 1993 para reconocer a los miembros líderes del campo de la informática por sus logros sobresalientes en informática y tecnologías de la información
"A scalable static analysis framework for reliable program development exploiting incrementality and modularity” es el título de su tesiss, dirigida por los profesores Manuel Hermenegildo y José Francisco Morales
El Instituto IMDEA Software celebra por segunda vez un evento dedicado a que la plantilla sin un doctorado presente su trabajo a través de posters
La red conectará a centros de datos de las universidades de la Comunidad de Madrid y los Institutos IMDEA Software e IMDEA Networks
EuroSys es una conferencia de primer orden sobre diversos aspectos de la investigación y el desarrollo de software de sistemas, incluidas sus ramificaciones en el hardware y las aplicaciones
El taller ha reunido a expertos de diferentes ramas de investigación dentro de la Ingeniería Basada en Modelos (MDE) para discutir sus técnicas, avances y aplicaciones a diferentes dominios
Su trabajo: ”Sistemas de Restricciones Algebraicas para Pruebas Criptográficas aplicado a SHA-256” supone las bases para la demostración y verificación del código hash a través de matrices
Aleks Nanevski ha dedicado su vida a resolver uno de los mayores retos de la informática, emprendiendo un largo y arriesgado camino para revolucionar nuestra forma de concebir la programación
Una transformación no tiene porqué implicar una mejora. Por ello, al modificar un programa se debe mostrar que se preserva la semántica del programa
Del 23 al 25 de marzo los Institutos IMDEA han participado en la Feria de divulgación científica dirigido a las comunidades escolares y al público general
Manuel Carro, Juan Céspedes y Margarita Capretto han formado parte del jurado de la competeción, e Ignacio Ballesteros ha sido parte del comité organizador
Martín Ceresa y Gabina Bianchi representaron al Instituto en el Círculo de Bellas Artes
Juan José Collazo, Project Manager de IMDEA Software, ha acudido en representación del Instituto y ha compartido espacio con compañeros de otros centros IMDEA
Un evento organizado por los centros de investigación del Campus
El proyecto cuenta con un consorcio compuesto por 12 entidades. La participación española está representada por la Fundación Imdea y por la compañía Telefónica Investigación y Desarrollo.
La Association for Computing Machinery ha nombrado ACM Fellow a 57 de sus miembros, incluyendo a Manuel Hermenegildo, por sus amplias y fundamentales contribuciones a la Informática
