Charles Paperman, maître de conférences, membre de l'équipe-projet LINKS. Afin de trouver des algorithmes efficaces pour gérer les données qui circulent sur le web, il travaille sur des outils théoriques (théorie de la complexité), soit pour améliorer des algorithmes complexes, soit pour démontrer l’impossibilité du développement d’un algorithme. Il s’agit également de voir si l’algorithme est coûteux – en termes humains, financiers, écologiques, mais aussi d’espace (serveur/mémoire). Sur le tableau blanc : Les calculs sont représentés de façon symbolique ; ici le circuit est un début de preuve.
|