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].

Dana Angluin

Biographie
Formation	Université de Californie à Berkeley
Activités	Informaticienne, professeure d’université

Autres informations
A travaillé pour	Université Yale (1979-2021)
Dir. de thèse	Manuel Blum
Distinction	Prix Dijkstra (2020)

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 particpé à 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, n^o 4,‎ avril 1988, 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, n^o 2,‎ 1987, 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, n^o 4,‎ avril 1988, 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, n^o 2,‎ 2008, 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,‎ 1977, 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,‎ 1980, 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, n^o 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, n^o 4,‎ 2006, 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, n^o 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 8 novembre 2020). – 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, n^o 1,‎ 1989, i (DOI 10.1016/0890-5401(89)90061-8)
« Editorial Board », Information and Computation, vol. 99, n^o 1,‎ 1992, i (DOI 10.1016/0890-5401(92)90023-9)
Bettye Anne Case et Anne M. Leggett, Complexities: Women in Mathematics, Princeton University Press, 2005 (ISBN 9781400880164).

Liens externes

Ressources relatives à la recherche :

Articles liés

Portail des mathématiques
Portail de l’informatique
Portail de l'informatique théorique

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Angluin 1988.

[auto-généré1-2] Angluin 1987.

[al-3] Angluin et Laird 1988.

[auto-généré2-4] Angluin et al. 2006.

[5] (en) « Dana Angluin », sur le site du Mathematics Genealogy Project

[y-6] « Dana Angluin, B.A., Ph.D. University of California at Berkeley, 1969, 1976. Joined Yale Faculty 1979. | Computer Science », cpsc.yale.edu (consulté le 8 novembre 2020). – Sa page sur Yale.

[7] Angluin, Aspnes et Eisenstat 2008.

[8] Angluin et Valiant 1977.

[9] , COLT '89 Proceedings

[10] , COLT '02 Proceedings

[11] , COLT '08 Proceedings

[12] « Editorial Board », Information and Computation, vol. 82, n^o 1,‎ 1989, i (DOI 10.1016/0890-5401(89)90061-8)

[13] « Editorial Board », Information and Computation, vol. 99, n^o 1,‎ 1992, i (DOI 10.1016/0890-5401(92)90023-9)

[14] Bettye Anne Case et Anne M. Leggett, Complexities: Women in Mathematics, Princeton University Press, 2005 (ISBN 9781400880164).