Noticias del Instituto IMDEA Software
El proyecto ha tenido mucho éxito tanto en el ámbito académico como en el desarrollo de la herramienta
Una técnica automatizada para determinar si los programas son vulnerables a una clase específica de ataques micro-arquitectónicos
La extensión es excelente para asegurar la corrección del código
y mejorar el desempeño del mismo
"Técnicas criptográficas para la seguridad de los sistemas cloud y blockchains" es el título de su tesis
La publicación fue presentada en ACM CCS'19 el pasado november en Londres
La visita se lleva a cabo para conocer las iniciativas contra el cambio climático que realizan los Institutos
Entrevistamos al investigador pre-doctoral para preguntarle por resultados científicos de su investigación
Bravo, que ha presentado esta propuesta como publicación para la Conferencia “Principles of Distributed Computing 2020” (PODC)
El Instituto IMDEA Software y la Universidad de Verona organizan AVERTIS
La investigación ha sido apoyada por una subvención de Intel Strategic Research Alliance
Una actividades dirigida a dar a conocer a jóvenes talentos
la investigación en software a través de retos, juegos y vídeos
Al menos 200 personas disfrutaron de IMDEA-CSI y escucharon atentamente a la Policía y científicos de los Institutos IMDEA
Una acción que demuestra el compromiso del Instituto y EIT Digital con los Objetivos de Desarrollo Sostenible de las Naciones Unidas (ODS).
Al menos 200 personas disfrutaron de IMDEA-CSI y escucharon atentamente
a la Policía y científicos de los Institutos IMDEA
Hoy se pone en marcha el proyecto piloto OPENQKD que instalará una infraestructura de comunicación cuántica de prueba en más de 10 países europeos
SENER recibe al Consejero de Educación e Investigación y
al Director General de Investigación e Innovación de la Comunidad de Madrid
para presentarles el proyecto 'Madrid Flight on Chip'
Investigador de NOVA LINCS, profesor emérito de DI FCT NOVA,
y miembro del Patronato y del Consejo Científico Asesor
del Instituto IMDEA Software.
Lucas Kuhring y Zsolt István presentarán la demo en la 45ª Conferencia Internacional sobre Bases de Datos de Gran Tamaño (VLDB'19) en Los Ángeles, EE.UU.
Esta edición actualiza contenidos relevantes, modifica el diseño y la estructura anterior e incluye datos sobre proyectos e investigación
El investigador pre-doctoral Pepe Vila acude como ponente
al evento de seguridad más importante de España
Interesantes actividades para mostrar el trabajo de investigación que se realiza desde los Institutos IMDEA
El proyecto nace para mejorar los sistemas blockchain focalizados en casos de uso de B2B
Organizan la UPM, a través de el Cajal Blue Brain Project y el Ontology Engineering Group, e IMDEA Software.
El programa de investigación abordará importantes retos de los sistemas basados en blockchains y smart contracts
Roberto Giacobazzi recibe el premio por su trabajo en “A²I: Abstract² Interpretation”.
Manuel Carro participa en una mesa redonda sobre investigación e innovación en Madrid.
