IMDEA Software

IMDEA initiative

Home > News > 2023

IMDEA Software Institute News

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.