IMDEA initiative
The information in this page may be outdated, as Matthieu Perrin is currently not a member of the Institute.
Consistency, data structures, distributed systems, modelisation.