English
Español
Iniciativa IMDEA
Descripción
Figura legal
Estructura organizativa
Patronato
Consejo científico
Memorias anuales
Lucha contra el fraude
Patrocinio
Socios industriales
Instituciones académicas
EIT Digital
Microsoft Research Joint Research Center
Telefónica Joint Research Unit
REDIMadrid
Personal
Investigadores
Postdocs
Estudiantes de doctorado
Estudiantes en prácticas
Administración
Staff proyectos
Técnicos
Antiguos visitantes
Antiguos investigadores
Alumni
Plan de igualdad
HRS4R
Empleo
Investigadores
Investigadores postdoctorales
Estudiantes de doctorado
Internships
Prácticas curriculares
Investigación
Herramientas
Publicaciones
Eventos
Charlas invitadas
Software Seminar Series (S3)
Actividades para capacidades transversales
Contacto
Portal de transparencia
Información institucional
Información económica y estadística
Solicitud de información pública
Datos personales
noticias y eventos
IMDEA Software celebra el encuentro anual de competición de posters entre estudiantes del centro
25 de junio de 2024
El pasado viernes, 21 de junio, celebramos "My I[M]DEA Software: Poster Competition", una edición que contó con 11 participantes
Investigadores crean técnicas innovadoras de verificación para incrementar la seguridad en la inteligencia artificial y el procesamiento de imágenes
29 de abril de 2024
Un equipo de investigadores del Instituto IMDEA Software, la Universidad Carlos III de Madrid (UC3M) y NEC Laboratories Europe ha introducido un novedoso marco que promete mejorar la eficiencia y practicidad de la computación verificable
Verificación descentralizada y distribuida de flujos en tiempo real: Mejora de la supervisión en sistemas complejos
24 de abril de 2024
El investigador Luis Miguel Danielsson, ha defendido su tesis, titulada: "Verificación descentralizada y distribuida de flujos en tiempo de ejecución"
Un nuevo enfoque de la programación concurrente garantiza la corrección de los programas
22 de abril de 2024
El investigador Joakim Öhman, ha presentado su tesis: "Compositional Reasoning of Concurrency with the Visibility Method"
actualidad
empleo