Francisca Martínez-Hergueta receives the award to the best PhD thesis
November 28, 2017
[…]
[ Read More ]
Former PhD student Goran Doychev receives prize for this thesis
November 28, 2017
Former PhD student Goran Doychev receives the “Premio Extraordinario de Tesis Doctorales” de la ETS de Ingenieros Informaticos from the...
[ Read More ]
Talk by Joakim Öhman: Decidability of Conversion for Type Theory in Type Theory
November 28, 2017
For type checking of functional programming languages, it is fundamental to be able to check equality of types, or in...
[ Read More ]
Former PhD student Goran Doychev receives prize for this thesis
November 28, 2017
Former PhD student Goran Doychev receives the “Premio Extraordinario de Tesis Doctorales” de la ETS de Ingenieros Informaticos from the...
[ Read More ]
Decidability of Conversion for Type Theory in Type Theory
November 28, 2017
For type checking of functional programming languages, it is fundamental to be able to check equality of types, or in...
[ Read More ]
IMDEA researcher as guest of a technology podcast
November 24, 2017
The Spanish speaking podcast “1BIT of memoria” featured IMDEA software researcher Juan Jose Moreno as their main guest. Link to...
[ Read More ]
IMDEA researcher as guest of a technology podcast
November 24, 2017
The Spanish speaking podcast “1BIT of memoria” featured IMDEA software researcher Juan José Moreno as their main guest. Link to...
[ Read More ]
Ericsson and Telefonica successfully test 5G-ready Agnostic Transport for Radio (Fronthaul & Backhaul) and Fixed Enterprise Access as part of the eXHAUL Project
November 23, 2017
Ericsson has announced the successful testing of eXHAUL Project, a novel network concept which provides agnostic transport for Radio (Fronthaul...
[ Read More ]
Open position: Post-doctoral researcher. IMETLAND project
November 22, 2017
Open position: Post-doctoral researcher. IMETLAND project
[ Read More ]
Talk by Giulia De Santis: Classifying Internet-wide scanners using Gaussian Mixture and Hidden Markov Models
November 21, 2017
Internet-wide scanning techniques and services, like Zmap, Shodan, NMap, Masscan, etc. are heavily used for malicious activities. To enable early...
[ Read More ]
