IMDEA Software Institute News
The event organized by the EuroQCI-Spain consortium took place between November 28th and 29th, at the BAT Tower in Bilbao.
IMDEA Software researchers Georgia Christofidi, Konstantinos Papaioannou and Thaleia Dimitra Doudali raise this intriguing question in their most recent publication at the 14th ACM Symposium on Cloud Computing.
She presents a novel automated approach to attribution, significantly transforming the process of identifying entities responsible for cyberattacks.
On November 16, the Institute held an event on the occasion of the XXIII Science and Innovation Week of the Community of Madrid, organized by the Madri+d Foundation for Knowledge.
Google Campus hosts the R&D&I conference on the occasion of the Madrid Science and Innovation Week, which was attended by representatives of startups, IMDEAs and clusters.
Geraldine Fitzpatrick was the facilitator of the workshops aimed toto craft better research cultures and enable researchers to bring their best selves to their great work.
“In the Room Where It Happens: Characterizing Local Communication and Threats in Smart Homes,” was presented this week at the ACM Internet Measurement Conference.
The UNED Las Rozas Campus hosted the Conference organized by the IMDEA Softaware Institute and REDIMadrid.
Manuel Carro, attended yesterday the D+I Innovation Awards 2023, which took place at the Espacio Bernabéu La Salle by Eneldo.
Some faculty showed to the 57 students the research areas of the Institute on September 21 from 9:30 to 11:00.
The event "The five EU missions as seen by IMDEA researchers II" took place on September 29 at the Student Residence in Madrid.
The event took place from September 19 to 21 at the School of Industrial Engineering of the Polytechnic University of Madrid (UPM).
The Assistant Research Professor of the IMDEA Software Institute ended pursuing a PhD for an accident that he will never regret.
The ACM Fellows program was established in 1993 to recognize and honor outstanding ACM members for their achievements in computer science and information technology.
"A scalable static analysis framework for reliable program development exploiting incrementality and modularity" is the title of his thesis, directed by professors Manuel Hermenegildo and José Francisco Morales.
The IMDEA Software Institute holds for the second time an event aimed at predoctoral staff to present their work through posters.
The network will connect data centers of the universities of the Community of Madrid and the IMDEA Software and IMDEA Networks Institutes
EuroSys is a premier conference on various aspects of systems software research and development, including its ramifications for hardware and applications
The workshop brought together experts from different branches of research within Model-Driven Engineering (MDE) to discuss their techniques, advances and applications to different domains
His work: "Algebraic Constraint Systems for Cryptographic Proofs applied to SHA-256" provides the basis for the demonstration and verification of hash code through matrices.
Aleks Nanevski has dedicated his life to solving one of the biggest computer science challenges, taking a long and risky road towards revolutionizing how we think about programming
When modifying a program, it must be shown that the semantics of the program are preserved.
From March 23rd to 25th IMDEA Institutes participated in the science outreach Fair aimed at school communities and the general public.
Manuel Carro, Juan Céspedes and Margarita Capretto have been part of the competition jury, and Ignacio Ballesteros has been part of the organizing committee
Martín Ceresa and Gabina Bianchi represented the Institute at the Circulo de Bellas Artes
Juan José Collazo, Project Manager of IMDEA Software, attended on behalf of the Institute and shared space with colleagues from other IMDEAs.
An event organized by the Campus research centers.
The project has a consortium composed of 12 entities. The Spanish participation is represented by the IMDEA Software Institute and the company Telefónica Research and Development.
The Association for Computing Machinery, has named 57 of its members, including Manuel Hermenegildo, ACM Fellows for wide-ranging and fundamental contributions to Computer Science.