New tool using Facebook data shows worldwide gender gap
June 20, 2018
An international group of researchers, involving scientists from Universidad Carlos III de Madrid (UC3M) and the IMDEA Networks Institute, developed...
[ Read More ]
Anaïs Querol Cruz wins prestigious PhD fellowship from “La Caixa” Foundation
June 19, 2018
Former IMDEA Software Institute intern Anaïs Querol Cruz has been selected as a recipient of a prestigious fellowship from “La...
[ Read More ]
Talk by Daniel Hedin: JSFlow: past, present and future
June 19, 2018
Almost eight years ago we started working on JSFlow – an information flow aware interpreter for JavaScript written in JavaScript....
[ Read More ]
Talk by Isabel García: Towards Better User Guidance in Abstract Interpretation
June 19, 2018
Approximations during program analysis are a necessary evil, as they ensure essential properties, such as analysis soundness and termination, but...
[ Read More ]
Talk by Daniel Hedin: JSFlow: past, present and future.
June 19, 2018
Almost eight years ago we started working on JSFlow – an information flow aware interpreter for JavaScript written in JavaScript....
[ Read More ]
Talk by Isabel García: Towards Better User Guidance in Abstract Interpretation.
June 19, 2018
Approximations during program analysis are a necessary evil, as they ensure essential properties, such as analysis soundness and termination, but...
[ Read More ]
Anaïs Querol Cruz wins prestigious PhD fellowship from “La Caixa” Foundation
June 19, 2018
Former IMDEA Software Institute intern Anaïs Querol Cruz has been selected as a recipient of a prestigious fellowship from “La...
[ Read More ]
Towards Better User Guidance in Abstract Interpretation
June 19, 2018
Approximations during program analysis are a necessary evil, as they ensure essential properties, such as analysis soundness and termination, but...
[ Read More ]
JSFlow: past, present and future
June 19, 2018
Almost eight years ago we started working on JSFlow – an information flow aware interpreter for JavaScript written in JavaScript....
[ Read More ]
Innovative Autonomous System for Identifying Schools of Fish
June 18, 2018
The SYMBIOSIS system integrates acoustic and optical technologies without human intervention. The system is the product of an international scientific...
[ Read More ]
