Dana Angluin
   HOME

TheInfoList



OR:

Dana Angluin is a professor emeritus of
computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...
at
Yale University Yale University is a Private university, private Ivy League research university in New Haven, Connecticut, United States. Founded in 1701, Yale is the List of Colonial Colleges, third-oldest institution of higher education in the United Stat ...
. She is known for foundational work in
computational learning theory In computer science, computational learning theory (or just learning theory) is a subfield of artificial intelligence devoted to studying the design and analysis of machine learning algorithms. Overview Theoretical results in machine learning m ...
and distributed computing.


Education

Angluin received her B.A. (1969) and Ph.D. (1976) at
University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California), is a Public university, public Land-grant university, land-grant research university in Berkeley, California, United States. Founded in 1868 and named after t ...
. Her thesis, entitled "An application of the theory of computational complexity to the study of inductive inference" was one of the first works to apply complexity theory to the field of inductive inference. Angluin joined the faculty at
Yale Yale University is a private Ivy League research university in New Haven, Connecticut, United States. Founded in 1701, Yale is the third-oldest institution of higher education in the United States, and one of the nine colonial colleges ch ...
in 1979.


Research

Angluin's work helped establish the theoretical foundations of machine learning. L* Algorithm Angluin has written highly cited papers on
computational learning theory In computer science, computational learning theory (or just learning theory) is a subfield of artificial intelligence devoted to studying the design and analysis of machine learning algorithms. Overview Theoretical results in machine learning m ...
, particularly in the context of learning
regular language In theoretical computer science and formal language theory, a regular language (also called a rational language) is a formal language that can be defined by a regular expression, in the strict sense in theoretical computer science (as opposed to ...
sets from membership and equivalence queries using the L* algorithm. This algorithm addresses the problem of identifying an unknown set. In essence, this algorithm is a way for programs to learn complex systems through the process of trial and error of educated guesses, to determine the behavior of the system. Through the responses, the algorithm can continue to refine its understanding of the system. This algorithm uses a minimally adequate Teacher (MAT) to pose questions about the unknown set. The MAT provides yes or no answers to membership queries, saying whether an input is a member of the unknown set, and equivalence queries, saying whether a description of the set is accurate or not. The Learner uses responses from the Teacher to refine its understanding of the set S in
polynomial time In theoretical computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations p ...
. Though Angluin's paper was published in 1987, a 2017 article by computer science Professo
Frits Vaandrager
says "the most efficient learning algorithms that are being used today all follow Angluin's approach of a minimally adequate teacher".


Learning from Noisy Examples

Angluin's work on learning from noisy examples has also been very influential to the field of
machine learning Machine learning (ML) is a field of study in artificial intelligence concerned with the development and study of Computational statistics, statistical algorithms that can learn from data and generalise to unseen data, and thus perform Task ( ...
. Her work addresses the problem of adapting learning algorithms to cope with incorrect training examples (
noisy data Noisy data are data that are corrupted, distorted, or have a low signal-to-noise ratio. Improper procedures (or improperly documented procedures) to subtract out the noise in data can lead to a false sense of accuracy or false conclusions. Nois ...
). Angluin's study demonstrates that algorithms exist for learning in the presence of errors in the data.


Other Achievements

In
distributed computing Distributed computing is a field of computer science that studies distributed systems, defined as computer systems whose inter-communicating components are located on different networked computers. The components of a distributed system commu ...
, she co-invented the population protocol model and studied the problem of consensus. In probabilistic algorithms, she has studied randomized algorithms for Hamiltonian circuits and matchings.D Angluin (1976). "An Application of the Theory of Computational Complexity to the Study of Inductive Inference." Available from ProQuest Dissertations & Theses Global. (302813707) Angluin helped found the Computational Learning Theory (COLT) conference, and has served on program committees and steering committees for COLT She served as an area editor for
Information and Computation ''Information and Computation'' is a closed-access computer science journal published by Elsevier (formerly Academic Press). The journal was founded in 1957 under its former name ''Information and Control'' and given its current title in 1987. , t ...
from 1989 to 1992. She organized Yale's Computer Science Department's Perlis Symposium in April 2001: "From Statistics to Chat: Trends in Machine Learning". She is a member of the
Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membe ...
and the
Association for Women in Mathematics The Association for Women in Mathematics (AWM) is a professional society whose mission is to encourage women and girls to study and to have active careers in the mathematical sciences, and to promote equal opportunity for and the equal treatment o ...
. Angluin is highly celebrated as an educator, having won "three of the most distinguishe
teaching prizes Yale College
has to offer": the Dylan Hixon Prize for Teaching Excellence in the Sciences, The Bryne/Sewall Prize for distinguished undergraduate teaching, and the Phi Beta Kappa DeVane Medal. Angluin has also published works on
Ada Lovelace Augusta Ada King, Countess of Lovelace (''née'' Byron; 10 December 1815 – 27 November 1852), also known as Ada Lovelace, was an English mathematician and writer chiefly known for her work on Charles Babbage's proposed mechanical general-pur ...
and her involvement with the Analytical Engine.


Selected publications

* Dana Angluin (1988)
Queries and concept learning
Machine Learning. 2 (4): 319–342. * *Dana Angluin and Philip Laird (1988)
Learning from noisy examples
Machine Learning 2 (4), 343–370. * Dana Angluin and Leslie Valiant (1979)
Fast probabilistic algorithms for Hamiltonian circuits and matchings
Journal of Computer and system Sciences 18 (2), 155–193 * *

*Dana Angluin, James Aspnes, Zoë Diamadi, Michael J Fischer, René Peralta (2004)
Computation in networks of passively mobile finite-state sensors
Distributed computing 18 (4), 235–253. *


See also

*
Automata theory Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science with close connections to cognitive science and mathematical l ...
*
Distributed computing Distributed computing is a field of computer science that studies distributed systems, defined as computer systems whose inter-communicating components are located on different networked computers. The components of a distributed system commu ...
*
Computational learning theory In computer science, computational learning theory (or just learning theory) is a subfield of artificial intelligence devoted to studying the design and analysis of machine learning algorithms. Overview Theoretical results in machine learning m ...


References


External links


Angluin's home page at Yale University
* {{DEFAULTSORT:Angluin, Dana Theoretical computer scientists Living people American women computer scientists Yale University faculty University of California, Berkeley alumni Place of birth missing (living people) Year of birth missing (living people) 20th-century American women scientists 21st-century American women scientists American computer scientists 20th-century American scientists 21st-century American scientists American women academics