Qu'est ce qui rend un problème de calcul difficile ? Cette question est au cœur de l'activité de notre laboratoire.Nous concevons des algorithmes efficaces pour des problèmes de calcul et prouvons les limites inférieures de leur complexité selon différentes modèles de calcul et différentes hypothèses.
Les zones de recherche incluent les algorithmes exacts et approximatifs pour les problèmes NP-difficiles, la complexité à granularité fine et la complexité des circuits.