Sites Inria

There are 3 Results with the keyword : "Spirals research team"

©Earl Barr


Discovering Program Invariants and Automatic Program Repair


On Friday 8 November 2013, 14:00-15:00 Room B31 at Inria Lille - Nord Europe, Earl Barr (University College London) will give a talk on “Automatic Detection of Floating-Point Exceptions”.

Place : Room B31, Inria Lille - Nord Europe

Guest(s) : Earl Barr


Home > Centre > Lille > Calendar > Discovering Program Invariants and Automatic Program Repair

lire la suite

Maria Gomez La Cruz © Alice Decarpigny


Researchers here and elsewhere : Spain


Originally from the Spanish city of Valencia, 28-year-old Maria Gomez Lacruz is working on a PhD thesis with the Lille-based Spirals team (associated with Lille 1 University*). She is one of many talented young scientists from outside France who have chosen Inria. We spoke to her about her experience.


Home > Centre > Lille > News > Chercheurs d'ici et d'ailleurs : Espagne


Logo Apisense © APISENSE

Personal data

Could your phone be a tool for science?

Philippe Fontaine - 14/01/2014

Scientists are already beginning to use the large volumes of data that are constantly being collected by sensors built in to many of the smartphones currently in use. APISENSE is a computing platform developed by Spirals Team for collecting and grouping data.


Home > Centre > Lille > News > Prêtez votre téléphone à la science