Noticias del Instituto IMDEA Software
Su interés por utilizar el aprendizaje automático para crear mejores sistemas de software surgió tras unas prácticas en AMD Research
Como parte de su compromiso de traer el mejor talento investigador a Madrid, el Instituto IMDEA Software elaboró su primer plan de acción en 2021
Pepe Vila y Joaquín Arias, dos ex alumnos de doctorado del Instituto IMDEA Softare, han ganado el premio extraordinario de tesis doctorales 2019-2020 que concede la Universidad Politécnica de Madrid.
La DG de Investigación e Innovación Tecnológica y
el director del Instituto han abierto el acto celebrado
con motivo de la Semana de la Ciencia y la Innovación
Hasta 90 personas asistieron de manera virtual a las XVI Jornadas REDIMadrid 2021
El evento estará presidido por Harald Gall, de la Universidad de Zúrich, y Manuel Carro, de la ETSIINF (UPM) y del Instituto IMDEA de Software.
Manuel Carro, Isabel García, Manuel Hermenegildo, Bishoksan Kafle, Pedro López, José F. Morales, Víctor Pérez y Miguel A. Sánchez participaron presentando ponencias, siendo panelistas, miembros del Comité de Programa o Presidentes de Sesiones.
Manuel Carro, Juan Francisco García, Daniel Jurjo, Fernando Macías,
Jose F. Morales y Alessandra Gorla participan
IMDEA Networks e IMDEA Software presentaron a la delegación de
la Comunidad de Madrid sus avances más recientes en investigación
Musard Balliu y Marco Guarnieri son los destinatarios de un premio de investigación de Facebook
Isabel finaliza sus estudios de doctorado en inteligencia artificial de la UPM,
cuya tesis ha sido dirigida por el distinguido profesor Manuel Hermengildo
Ambas investigadoras consiguieron ganar el respaldo del público logrando contar brevemente y sin tecnicismos de qué va su tesis
Investigadores del Instituto IMDEA Software, TU Wien y Purdue desarrollan un protocolo que hace más seguras y rápidas las transacciones en criptomonedas como Bitcoin
"Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions"
El artículo desarrolla un marco para definir contratos hardware-software
que capturen las garantías de seguridad de los canales laterales del hardware
de una manera sencilla e independiente del propio mecanismo
El proyecto PICOCRYPT, liderado por el Instituto IMDEA de Software, garantizará la integridad, la privacidad y la eficacia del cálculo sobre los datos almacenados en la nube
El congreso, que tendrá lugar desde el 23 al 27 de mayo,
ha publicado recientemente el listado de papers aceptados
El objetivo del análisis estático de coste es estimar automáticamente los recursos utilizados por los programas sin ejecutarlos con datos concretos
Los miembros del Comité Ejecutivo de ALP son elegidos por votación popular dentro de la comunidad entre los candidatos propuestos por sus contribuciones y reconocimiento dentro de la programación lógica
Relational logics for higher-order effectful programs
Se mantuvieron discusiones fructíferas en relación con las estrategias para la atracción y retención del talento
Es la primera vez que la Fundación decide crear un Consejo de Directores
Manuel Hermenegildo, ha sido nombrado por segunda vez Presidente del Consejo Científico de INRIA, el Instituto Nacional Francés de Investigación en Informática y Automática, por un periodo de tres años
"Multi-Key Homomorphic Authenticators" es la versión extendida del estudio que publicaron en 2016
Las aplicaciones de control parental se comportan de manera inadecuada y suponen un riesgo para la privacidad de los niños y los padres
"A Systematic Empirical Analysis of Unwanted Software Abuse, Prevalence, Distribution, and Economics" es el título de su tesis
