Dana Angluin
Dana Angluin est professeur d' informatique à l'université de Yale . Elle est connue pour ses travaux fondamentaux en théorie de l'apprentissage informatique[1] - [2] - [3] et en informatique distribuée[4].
Formation | |
---|---|
Activités |
A travaillé pour |
Université Yale (- |
---|---|
Directeur de thèse | |
Distinction |
Carrière
Angluin a obtenu son baccalauréat (B. A.) et son doctorat (Ph. D.) à l'université de Californie à Berkeley[5] - [6]. sous la direction de Manuel Blum. Sa thèse, intitulée An application of the theory of computational complexity to the study of inductive inference, a été l'une des premières études à appliquer la théorie de la complexité au domaine de l'inférence inductive[6].
Recherche
Angluin a publié des articles fondateurs en théorie de l'apprentissage informatique, où elle a étudié l'apprentissage à partir d'exemples bruités[3] et l'apprentissage de langages réguliers à partir de requêtes et de contre-exemples[2] et en informatique distribuée, où elle a co-inventé le modèle de protocole de population et étudié le problème du consensus[4] - [7] et en algorithmique probabiliste, où elle a étudié les algorithmes aléatoires pour les circuits hamiltoniens et les couplages[8].
Angluin a participé à la fondation de la Conference on Learning Theory (COLT) et a siégé dans des comités de programme et des comités de pilotage pour COLT[9] - [10] - [11]. Elle a été rédactrice de section du journal Information and Computation de 1989 à 1992[12] - [13]. Elle est membre de l' Association for Computing Machinery et de l'Association for Women in Mathematics.
Elle est une des lauréates du prix Dijkstra 2020.
Angluin a également publié des travaux sur Ada Lovelace et son implication dans le moteur analytique[14].
Publications (sélection)
- Dana Angluin, « Queries and concept learning », Machine Learning, vol. 2, no 4,‎ , p. 319–342 (DOI 10.1007/bf00116828, lire en ligne).
- Dana Angluin, « Learning Regular Sets from Queries and Counter-Examples », Information and Control, vol. 75, no 2,‎ , p. 87–106 (DOI 10.1016/0890-5401(87)90052-6, lire en ligne).
- Dana Angluin et Philip Laird, « Learning from noisy examples », Machine Learning, vol. 2, no 4,‎ , p. 343–370 (DOI 10.1007/bf00116829, lire en ligne).
- Dana Angluin, James Aspnes et David Eisenstat, « A simple population protocol for fast robust approximate majority », Distributed Computing, vol. 21, no 2,‎ , p. 87–102 (DOI 10.1007/s00446-008-0059-z, lire en ligne).
- Dana Angluin et Leslie G. Valiant, « Fast probabilistic algorithms for hamiltonian circuits and matchings », Proceedings of the Ninth Annual ACM Symposium on Theory of Computing - STOC '77, ACM Press,‎ , p. 30–41 (ISBN 9781450374095, DOI 10.1145/800105.803393, lire en ligne).
- Dana Angluin, « Finding Patterns Common to a Set of Strings », Journal of Computer and System Sciences, vol. 21,‎ , p. 46–62 (DOI 10.1016/0022-0000(80)90041-0).
- Dana Angluin, « Inductive Inference of Formal Languages from Positive Data », Information and Control, vol. 45, no 2,‎ 1980a, p. 117–135 (DOI 10.1016/s0019-9958(80)90285-5, lire en ligne).
- Dana Angluin, James Aspnes, Zoë Diamadi, Michael J. Fischer et Rene Peralta, « Computation in networks of passively mobile finite-state sensors », Distributed Computing, vol. 18, no 4,‎ , p. 235–253 (DOI 10.1007/s00446-005-0138-3, lire en ligne). — Article distingué par le prix Dijkstra.
- Dana Angluin, Jeffery R. Westbrook et Wenhong Zhu, « Robot navigation with distance queries », SIAM Computing, vol. 30, no 1,‎ 110-144, p. 110-144.
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Dana Angluin » (voir la liste des auteurs).
- Angluin 1988.
- Angluin 1987.
- Angluin et Laird 1988.
- Angluin et al. 2006.
- (en) « Dana Angluin », sur le site du Mathematics Genealogy Project
- « Dana Angluin, B.A., Ph.D. University of California at Berkeley, 1969, 1976. Joined Yale Faculty 1979. | Computer Science », cpsc.yale.edu (consulté le ). – Sa page sur Yale.
- Angluin, Aspnes et Eisenstat 2008.
- Angluin et Valiant 1977.
- , COLT '89 Proceedings
- , COLT '02 Proceedings
- , COLT '08 Proceedings
- « Editorial Board », Information and Computation, vol. 82, no 1,‎ , i (DOI 10.1016/0890-5401(89)90061-8)
- « Editorial Board », Information and Computation, vol. 99, no 1,‎ , i (DOI 10.1016/0890-5401(92)90023-9)
- Bettye Anne Case et Anne M. Leggett, Complexities: Women in Mathematics, Princeton University Press, (ISBN 9781400880164).
Liens externes
- Ressources relatives Ă la recherche :