Le laboratoire d'IA d'Oxford est la division de recherche en intelligence artificielle du département d'informatique de l'Université d'Oxford à Oxford, en Angleterre. Il fait partie de la division des sciences mathématiques, physiques et de la vie de l'université et est l'un des centres de recherche informatique les plus anciens et les plus éminents d'Europe. Les travaux du laboratoire couvrent la recherche fondamentale et appliquée dans l'intelligence artificielle, l'apprentissage automatique et des domaines connexes, contribuant aux classements mondiaux constamment élevés de l'université en informatique.
Le département d'informatique a été fondé en 1957 sous le nom de laboratoire de calcul de l'Université d'Oxford, initialement axé sur l'analyse numérique. Au cours des décennies suivantes, il s'est étendu aux langages de programmation, à la vérification et à l'intelligence artificielle. En 2011, il a été renommé département d'informatique, et ses activités de recherche en IA sont désormais organisées sous l'égide du laboratoire d'IA d'Oxford, qui coordonne les collaborations entre groupes académiques, partenaires industriels et initiatives interdisciplinaires.
Thèmes de recherche
Le laboratoire d'IA d'Oxford mène des recherches dans plusieurs domaines centraux de l'intelligence artificielle et de l'apprentissage automatique. Ceux-ci incluent les architectures de deep learning, les réseaux de neurones, les grands modèles de langage et les systèmes basés sur transformers. Le laboratoire étudie également l'apprentissage par renforcement, la modélisation probabiliste, la vision par ordinateur, le traitement du langage naturel et la sécurité de l'IA. Ses travaux font souvent le pont entre la théorie et l'application, avec des projets dans les domaines de la santé, de la robotique et de la découverte scientifique.
La recherche du département est organisée en dix grands thèmes, notamment les algorithmes et la théorie de la complexité, l'intelligence artificielle et l'apprentissage automatique, la vérification automatisée, la biologie computationnelle et l'informatique de la santé, les données, les connaissances et l'action, l'informatique centrée sur l'humain, les langages de programmation, le quantique, la sécurité et les systèmes. Le thème de l'IA et de l'apprentissage automatique est le plus vaste et le plus actif, avec plus de 145 membres du personnel académique et de recherche contribuant à la production globale du département.
Enseignement et formation
Le laboratoire d'IA d'Oxford est étroitement lié à la mission d'enseignement du département. Le département propose des cours de premier cycle en informatique, mathématiques et informatique, et informatique et philosophie, avec la possibilité pour les étudiants de choisir entre un BA de trois ans ou un master de premier cycle de quatre ans. Le premier cours de premier cycle, « Mathématiques et calcul », a été créé en 1985, suivi de « Calcul » en 1994, et tous deux ont été renommés « Informatique » en 2000.
Au niveau du troisième cycle, le département propose deux programmes de MSc enseignés à temps plein : le MSc en informatique avancée, avec environ 70 étudiants, et le MSc en mathématiques et fondements de l'informatique, avec environ 28 étudiants. Le programme d'ingénierie logicielle à temps partiel, conçu pour les professionnels de l'industrie, offre un MSc en ingénierie logicielle et un MSc en ingénierie logicielle et sécurité des systèmes, avec respectivement environ 240 et 45 étudiants. Les doctorants poursuivent un D.Phil. (le terme d'Oxford pour un doctorat), avec plus de 140 étudiants chercheurs travaillant dans tous les domaines de l'informatique.
Faculté et direction notables
Le laboratoire et le département ont abrité de nombreux chercheurs influents. Parmi les membres notables de la faculté figurent Tim Berners-Lee, inventeur du World Wide Web, qui a été professeur d'informatique ; Tony Hoare, professeur émérite connu pour ses travaux sur la vérification formelle et la logique de Hoare ; et Christopher Bishop, figure éminente de l'apprentissage automatique. Parmi les autres membres distingués figurent Samson Abramsky, Luca Cardelli, Bob Coecke, Nando de Freitas, Marta Kwiatkowska et Michael Wooldridge.
La direction du département a évolué au fil du temps. Bill Roscoe a été chef de département de 2003 à 2014, supervisant le changement de nom de 2011. En 2021, Leslie Ann Goldberg est devenue la première femme à occuper ce poste. Ivan Martinovic a été chef par intérim de septembre 2025 à août 2026 pendant que Goldberg prenait un congé sabbatique, et elle a repris son rôle le 1er septembre 2026.
Histoire et évolution
Les origines du département remontent à 1952, lorsque le mathématicien Charles Coulson a commencé à chercher des fonds pour un ordinateur appartenant à l'université. En 1956, le comité des subventions universitaires a financé un Ferranti Mercury, ce qui a conduit à la création du laboratoire de calcul de l'Université d'Oxford. Leslie Fox a été nommé premier directeur en 1957. Le groupe de recherche en programmation, créé en 1966 sous la direction de Christopher Strachey, s'est concentré sur la théorie et la pratique de la programmation, et a ensuite été dirigé par Tony Hoare de 1977 à 1999.
Le groupe d'analyse numérique a déménagé à l'Institut mathématique en 2009, tandis que le reste du département a continué à s'étendre. Le département a occupé plusieurs bâtiments au fil des ans, notamment 9 South Parks Road, 19 Parks Road, 8-11 Keble Road et le bâtiment Wolfson, ouvert en 1993. À partir de 2014, le département a cherché des fonds pour un nouveau bâtiment plus grand afin de consolider ses activités.
Impact et classements
L'Université d'Oxford a été classée première au monde pour l'informatique par le classement mondial des universités du Times Higher Education chaque année de 2019 à 2026. Le classement QS des matières universitaires 2026 a placé Oxford quatrième au niveau mondial, le plus élevé de toutes les universités européennes, avec l'Université de Cambridge en huitième position. Le laboratoire d'IA d'Oxford contribue de manière significative à cette réputation grâce à sa production de recherche, ses collaborations avec des partenaires industriels tels que Google DeepMind et OpenAI, et son rôle dans la formation de la prochaine génération de chercheurs en IA.