Determinar si un programa informático es correcto o defectuoso, que se comporta como se espera, es de lo que se encarga la verificación de software, la rama de investigación a la que se dedica Luis Miguel Danielsson. Dado que el software…
El investigador Joakim Öhman, supervisado por el profesor Aleks Nanevski, presentó su tesis: «Compositional Reasoning of Concurrency with the Visibility Method» el pasado 15 de abril en el Instituto IMDEA Software, acompañado de colegas y familiares. Para mejorar aún más…
El investigador del Instituto IMDEA Software Dimitris Kolonelos, supervisado por el Prof. Dario Fiore, presentó ayer ante el tribunal su tesis doctoral: “Succinct Cryptographic Commitments with Fine-Grained Openings for Decentralized Environments” en la Escuela Técnica Superior de Ingeniería Informática (ETSIINF) de…
Hasta la fecha se desconocía hasta qué punto las limitaciones metodológicas y los datos incompletos afectaban a las estimaciones de ingresos de los grupos de ciberdelincuentes que utilizan la cadena de bloques, Bitcoin. Un nuevo estudio, realizado por los investigadores…
Los servicios en línea que requieren verificación por SMS como Google, Facebook, entidades bancarias o administraciones públicas no disponen de protecciones eficaces contra los abusos del ecosistema de números de teléfono desechables. El servicio de mensajes cortos (SMS), utilizado habitualmente…
Cuando era niño, al investigador del Instituto IMDEA Software le encantaban el baloncesto y las revistas quincenales de ciencia para niños que venían con experimentos que hacía con su padre. A partir de ese momento, su fascinación por los temas científicos…
La ex estudiante de doctorado del Instituto IMDEA Software, Isabel García-Contreras, gana uno de los dos premios a la mejor tesis de SISTEDES (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software). Se trata del segundo reconocimiento que…
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 en general, y la programación concurrente en particular. Aleks Nanevski,…
Un total de 13 entidades de 9 países conforman el consorcio del proyecto coordinado por la empresa griega Wings ICT Solutions. La participación española está configurada por el Instituto IMDEA Software y Telefónica. El proyecto CONFIDENTIAL6G persigue preservar la privacidad…
Ha sido seleccionado como “Fellow” de la ACM, la mayor sociedad informática educativa y científica del mundo. Manuel Hermenegildo, Catedrático de la Escuela Técnica Superior de Ingeniería Informática de la UPM y Profesor distinguido del Instituto IMDEA Software, ha sido…
