Martin Müller
La nomination
Titulaire de chaire en IA Canada-CIFAR
Stratégie pancanadienne en matière d’IA
À Propos
Titulaire de chaire en IA Canada-CIFAR – Nouveau mandat – 2021
Martin Müller est boursier et titulaire d’une chaire en IA Canada-CIFAR à l’Amii ainsi que professeur d’informatique et titulaire de la chaire en intelligence artificielle DeepMind à l’Université de l’Alberta.
Martin Müller s’intéresse principalement à la recherche heuristique moderne, notamment aux interactions complexes entre la recherche, la connaissance, les simulations et l’apprentissage automatique. Les domaines d’application comprennent la recherche dans les arbres de jeu, les planificateurs indépendants du domaine, les jeux combinatoires et la résolution de problèmes de satisfaisabilité booléenne (SAT). Martin Müller travaille sur le jeu de go informatique depuis 30 ans. Il est connu pour avoir dirigé le développement du programme à source ouverte Fuego. En 2009, ce programme est devenu le premier à gagner une partie de go 9×9 à armes égales contre un joueur humain professionnel de haut niveau. Avec ses étudiants et ses collègues, il a réussi à développer une série de programmes de jeu, de systèmes de planification et de solveurs SAT.
Prix
- Chaire en intelligence artificielle DeepMind, Université de l’Alberta, 2019
- Boursier, Amii, 2019
- Prix du meilleur article, AAAI, 2018
- Prix du meilleur entraîneur, ACM ICPC, 2012
- Gagnant, 4e Coupe UEC (championnat de go informatique), 2010
Publications Pertinentes
- Chowdhury, M. S., Müller, M., You, J. (2020). « Guiding CDCL SAT Search via Random Exploration amid Conflict Depression », Proceedings of the 34th AAAI Conference on Artificial Intelligence, 8:1428-1435.
- Xiao, C., Mei, J., Müller, M. (2018). « Memory-Augmented Monte Carlo Tree Search », Proceedings of the 32nd AAAI Conference on Artificial Intelligence, 32(1):1455-1461.
- Xie, F., Müller, M., Holte, R., Imai, T. (2014). « Type-Based Exploration with Multiple Search Queues for Satisficing Planning », Proceedings of the 28th AAAI Conference on Artificial Intelligence, 28(1):2395-2401.
- Silver, D., Sutton, R. S., Müller, M. (2012). « Temporal-Difference Search in Computer Go », Machine Learning, 87(2):183-219.
- Nakhost, H., Müller, M. (2009). « Monte Carlo Exploration for Deterministic Planning », Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009).
Soutenez-nous
Le CIFAR est un organisme de bienfaisance enregistré qui reçoit le soutien des gouvernements du Canada et du Québec, ainsi que de fondations, de donateurs individuels, d’entreprises et de partenaires canadiens et internationaux.