Dana Angluin is a professor emeritus of
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
at
Yale University
Yale University is a private research university in New Haven, Connecticut. Established in 1701 as the Collegiate School, it is the third-oldest institution of higher education in the United States and among the most prestigious in the wo ...
. 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 land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant u ...
. 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 research university in New Haven, Connecticut. Established in 1701 as the Collegiate School, it is the third-oldest institution of higher education in the United States and among the most prestigious in the wor ...
in 1979.
Research
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 ...
, where she studied learning from noisy examples
and learning regular sets from queries and counterexamples (the L* algorithm).
In
distributed computing
A distributed system is a system whose components are located on different computer network, networked computers, which communicate and coordinate their actions by message passing, passing messages to one another from any system. Distributed com ...
, she co-invented the
population protocol
A population protocol is a distributed computing model formed by resource-limited mobile agents which meet in a random way according to an interaction graph. Functions are computed by updating the state of agents whenever they meet based on their ...
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–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 member ...
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 has also published works on
Ada Lovelace
Augusta Ada King, Countess of Lovelace (''née'' Byron; 10 December 1815 – 27 November 1852) was an English mathematician and writer, chiefly known for her work on Charles Babbage's proposed mechanical general-purpose computer, the A ...
and her involvement with the
Analytical Engine
The Analytical Engine was a proposed mechanical general-purpose computer designed by English mathematician and computer pioneer Charles Babbage. It was first described in 1837 as the successor to Babbage's difference engine, which was a des ...
.
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. The word ''automata'' comes from the Greek word αὐτόματο ...
*
Distributed computing
A distributed system is a system whose components are located on different computer network, networked computers, which communicate and coordinate their actions by message passing, passing messages to one another from any system. Distributed com ...
*
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