Experts en : Théorie de la complexité (informatique théorique)
CARVALHO, Margarida
Professeure agrégée
- Algorithmique
- Théorie des jeux
- Programmation à deux niveaux
- Optimisation combinatoire
- Théorie de la complexité (informatique théorique)
- Conception des réseaux
- Recherche opérationnelle
- Science des données
Margarida Carvalho est spécialiste de la théorie des jeux. Son programme s’appuie sur des approches tirées de la recherche opérationnelle et de l’apprentissage automatique, deux piliers de la science des données.
MCKENZIE, Pierre
Professeur titulaire
- Automates finis
- Circuits booléens
- Langage formel
- Logique
- Théorie de la complexité (informatique théorique)
Mon intéret de recherche à long terme est la théorie de la complexité du calcul. Cette théorie vise à ordonner partiellement les problèmes calculatoires selon la quantité de ressources nécessaire et suffisante pour les résoudre. Le temps et la mémoire sont des exemples de ressources. La multiplication de deux entiers et le calcul d'un chemin dans un graphe sont des exemples de problèmes. Est-il plus difficile de calculer un chemin que de multiplier? Une telle question se formule mathématiquement et sa réponse n'est pas connue: elle requiert une preuve que tout algorithme imaginable effectuant le calcul de chemins prendra nécessairement plus de ressources sur de grands graphes que les ressources requises pour multiplier de grands entiers. En complexité, les conjectures abondent mais les progrès sont lents.