IMDEA Software Institute News
Former PhD student Goran Doychev receives the “Premio Extraordinario de Tesis Doctorales” de la ETS de Ingenieros Inform...
Nov 24, 2017: IMDEA researcher as guest of a technology podcast
The Spanish speaking podcast “1BIT of memoria” featured IMDEA software researcher Juan José Moreno as their main guest.
...
Nov 8, 2017: Dario Fiore keynote speaker at NordSec2017
IMDEA Software Institute researcher Dario Fiore gives a keynote at the Nordic Conference on Secure IT Systems NordSec201...
Nov 7, 2017: Affiliate faculty Prof. Roberto Giacobazzi talks at System and Software eanalysis event
Professor Roberto Giacobazzi of the University of Verona, Italy and University of Verona, Italy visiting faculty member ...
Oct 27, 2017: IMDEA director as guest of a new technology podcast
In their opening episode, the spanish speaking podcast “1BIT of memoria” featured IMDEA software director Manuel Carro a...
Oct 14, 2017: Cybersecurity with the best features IMDEA researcher.
Juan Caballero, Associate Research Professor & Deputy Director at the IMDEA Software Institute, gave an invited talk...
Oct 10, 2017: IMDEA researcher is chairing three program committees.
IMDEA researcher John Gallagher will be the program chair of the following events.
LOPSTR 2017. 27th International Sympo...
Researcher Carolina Dania} receives best paper award at MoDELS 2017.
Sep 21, 2017: The European Researchers' Night on Spanish National TV
The director of the IMDEA Software Institute, Manuel Carro,
was interviewed on the TV program "La Tarde en 24 Horas" about
The European Researchers' Night in Madrid and the IMDEA Institutes
Roberto Costumero, student at the Software, Systems and Computation PhD. program, has successfully presented his PhD. Th...
Sep 17, 2017: Juan Caballero appointed new Deputy Director
Juan Caballero Associate Professor at the Institute has been appointed Deputy Director by the Steering Committee.
The IMDEA Institutes participated in the radio show Primera Hora, hosted by Javier García Mateo in Gestiona Radio. Durin...
Sep 5, 2017: Alessandra Gorla invited speaker at the 2nd International Workshop on App Market Analytics
Alessandra Gorla, researcher at the IMDEA Software Institute, has been invited speaker at the 2nd International Workshop...
Sep 5, 2017: Boris Koepf panelist at the final event of the DFG priority program “Reliably Security Software Systems”
Boris Köpf, researcher at the IMDEA Software Institute, has participated in the paner entitled “Formal Methods for...
Sep 1, 2017: Strong participation of the IMDEA Software Institute at the joint event of top conferences ICLP/CP/SAT
Researchers of the IMDEA Software Institute have given several talks at the 33rd International Conference on Logic Progr...
Aug 29, 2017: Pedro López-García and Manuel Hermenegildo give invited talk at top conference on their "Test of Time" award paper
Faculty members Pedro López-García and Manuel Hermenegildo present the _10-year most influential paper_ paper at ICLP 2017.
Aug 28, 2017: Pedro López-García invited speaker at CICLOPS@ICLP
IMDEA Software Institute faculty member Pedro López gave an invited talk on August 28 at the 15th International Colloqui...
IMDEA Software Institute researcher Boris Köpf, has chaired the Program Committee of the 30th IEEE Computer Security Fou...
Aug 17, 2017: Distinguished paper award at USENIX Security'17
PhD student Pepe Vila and researcher Boris Köpf won a prestigious distinguished paper award at the 2017 USENIX Security Symposium.
IMDEA Software Institute Researcher, Manuel Hermenegildo, co-organizes and chairs the 4th Workshop on Horn Clauses for V...
Miriam García and Germán Delbianco defend their PhD thesis in UPM in July 2017.
IMDEA Software Institute Researchers Gilles Barthe and Manuel Hermenegildo participanted in the Dagstuhl Seminar on Reso...
Juan Caballero and his team receive of the award for the _most influential paper published in a period of 5 years_ at DIMVA 2017.
Carolina Dania defended his PhD thesis “Mapping OCL as a Query and Constraint Language” advised by IMDEA Software Instit...
Jun 29, 2017: Dario Fiore speaking at MathCrypt 2017
IMDEA Software Institute researcher Dario Fiore gives an invited talk at the MathCrypt event part of the NIMS Hot Topics...
Carmela Troncoso speaks about data protection at a Swiss event for industry.
Jun 20, 2017: Pedro López-García and Manuel Hermenegildo recipients of Test of Time award at top conference
Faculty members Pedro López-García
and Manuel Hermenegildo are recipients of the _10-year
most influential paper_ award
at ICLP 2017.
Jun 15, 2017: Work on large-scale analysis of malware network communication published at top-ranked conference
Faculty member Juan Caballero and Ph.D.student Platon Kotzias Platon Kotzias have a paper at the 36th IEEE Symposium on ...
Jun 13, 2017: Invited talk at M3AAWG General Meeting
Juan Caballero will participate in a meeting with more of 200 security-oriented companies.
Jun 12, 2017: Carmela Troncoso receives the Best Reviewer Award at IEEE Security and Privacy Symposium 2017
IMDEA Software Institute researcher Carmela Troncoso receives the Best Reviewer Award at the IEEE Security and Privacy S...
Two researchers from IMDEA attend the ERC 10 years celebration.
Jun 10, 2017: IMDEA Software co-organizes two summerschols
The IMDEA Software Institute is currently involved in the organization of two Summer Schools:
Gilles Barthe co-organizes...
Jun 9, 2017: Distinguished Paper Award at SATToSE
IMDEA Software Institute faculty Alessandra Gorla and PhD student Paolo Calciati received a Distinguished Paper Award at...
Jun 8, 2017: Media coverage of IMDEA PhD student work
IMDEA Software Institute Phd student Luca Nizzardo, together with his colleagues Matteo Campanelli (City College of New ...
Jun 1, 2017: Gilles Barthe keynote speaker at EUROCRYPT 2017
EUROCRYPT is one ot the top 3 venues on cryptography research
Manuel Carro participated in the Thought Leadership Workshop organized by NESSI, the European Platform on Software, Serv...
The IMDEA Software Institute participated in the MC – COFUND Infoday, an informative event organized by the MINECO Europ...
May 29, 2017: Manuel Carro appointed new Director
Founding director Manuel Hermenegildo steps down after 10 years of service and the Board appoints Prof. Manuel Carro new director of the IMDEA Software Institute.
The IMDEA Software Institute explores in a public document how the WannaCry ransomware attack could have been avoided.
May 9, 2017: IMDEA Software starts graduate schools season
IMDEA Software faculty teach at several graduate schools from spring to autumn.
Apr 29, 2017: IMDEA Researcher gives Invited Talk at VPT@ETAPS
IMDEA Software Institute researcher Manuel Hermenegildo give an invited talk on April 29 on Energy Consumption Analysis ...
The idea: “Private Common Data Analytics” by IMDEA student Bogdan Kulynych has been awarded a diploma in the competition...
Apr 17, 2017: 2016 Annual Report Published
The IMDEA Software Institute has published its 2016 Annual Report.
IMDEA Software Institute director Manuel Hermenegildo has attended the Signing ceremony of the UNESCO/INRIA partnership ...
Apr 3, 2017: Affiliate faculty Prof. Roberto Giacobazzi appointed to the Community of Madrid Chair of Excellence
It is our great pleasure to welcome Professor Roberto Giacobazzi of the University of Verona, Italy as an University of ...
The Ms. Thesis: “Code Search: A Semantic, Abstract-Interpretation Based Approach” by IMDEA student Isabel García has bee...
Mar 23, 2017: REDIMadrid migrates the traffic of the High Energy group at the UAM to the LHCONE dedicated network
IMDEA Software manages the migration of the UAM's High Energy group traffic to the LHCONE network.
Mar 15, 2017: New MINECO funded project: AxE-Javascript
IMDEA participates in an MINECO funded project to apply verification techniques in eVoting systems.
Mar 15, 2017: New MINECO funded project: DataMantium
IMDEA participates in an MINECO funded project to protect data in the cloud.
IMDEA participates in an event to bring computer science nearer to the public at large.
Mar 2, 2017: EIT Digital new node opening at IMDEA
IMDEA hosts the opening of the new EIT Digital node in Madrid
IMDEA Software researcher Juan Caballero will be part of an effort to develop an online banking anti-fraud system. This ...
Feb 24, 2017: Coowry, a startup hosted at IMDEA featured in newspaper
Coowry a startup enabling easy micro payments whose offices are located in the IMDEA Software building was featured in t...
IMDEA Software Institute researcher Carmela Troncoso lectures on Privacy by Design at Interpol.
IMDEA Software Institute researcher Dario Fiore has won the first edition of the CNIL/Inria prize on privacy protection.
Jan 18, 2017: IMDEA Software faculty lecturing at the Spring school “Security & Correctness in the Internet of Things 2017”
IMDEA Software Institute researcher Boris Köpf will be lecturing at the Spring school on “Security & Correctness in ...