David A. Mix Barrington
I am Professor of Computer Science at
the
University of
Massachusetts at Amherst.
My primary research area is computational complexity, particularly boolean
circuits, automata, and logic.
Currently I am the Chief Undergraduate Advisor for the Computer Science
Department. For the spring term of 2007 I was the
Associate Chair for Academic Programs.
Contact Info:
- 210 Computer Science Building, Box 34610
- 140 Governors Drive, Amherst MA 01003-4610
- 413-545-4329 (office)
- 413-545-1249 (fax)
- barring at cs dot umass dot edu
Course Web Sites:
- CMPSCI 401, Spring 2008 (site under construction)
An advanced undergraduate course in the theory of computation.
- CMPSCI 291b, Spring 2008 (site under construction)
An experimental course in mathematical and computational methods for dealing
with uncertainty, in development for the new computer science
curriculum. I am teaching
this course by myself due to Prof. Utgoff's illness.
- CMPSCI 250, Fall 2007 The undergraduate core course in
discrete mathematics, using portions of the fourth draft of my textbook.
Portions of this course will be new, reflecting plans for the new department
curriculum.
- CMPSCI 251 (officially CMPSCI 291A), Spring 2007 An
experimental version of the new second course in the mathematics of computation
for computer science majors.
- CMPSCI 791JJ, Spring 2007 A one-credit graduate
seminar on Conway's combinatorial game theory, reading his book On Numbers
and Games.
- CMPSCI 311, Fall 2006 The undergraduate core course in
the theory of algorithms.
- CMPSCI 741, Fall 2006 An advanced graduate course in
circuit complexity theory.
- CMPSCI 250, Spring 2006 The undergraduate core
course in discrete mathematics, which used the fourth draft of my textbook.
- CMPSCI 611x, Spring 2006 A video-only version of
CMPSCI 611, using lectures from Fall 2005 and offered through the
PEEAS (Professional
Education for Engineering and Applied Science) program. Page under
construction, info on Fall course here.)
- CMPSCI 611, Fall 2005. The core graduate course
in the analysis of algorithms
- CMPSCI 250, Spring 2005. The undergraduate core course
in discrete mathematics, which used the third draft of my textbook.
- CMPSCI 250, Fall 2004. The previous version of the
core course in discrete mathematics, which used the second draft
of my textbook.
- CMPSCI 601, Fall 2004 A video-only version of
the graduate core course in the theory of computation, using lectures
from Spring 2004.
- CMPSCI 601, Spring 2004. My latest live offering of the
graduate core course in the theory of computation.
- CMPSCI 741, Spring 2004 An advanced graduate course
in computational complexity.
- CMPSCI 311, Fall 2003. An undergraduate majors
course in the theory of algorithms.
- CMPSCI H04, Fall 2003. The one-credit honors
section for CMPSCI 311.
- CMPSCI 601, Fall 2003. A video-only version
of the graduate core course in the theory of computation, using lectures
from Spring 2003.
- CMPSCI 601, Summer 2003. A video-only version
of the graduate core course in the theory of computation, using lectures
from Spring 2003.
- CMPSCI 601, Spring 2003. My prior offering of
the graduate core course
in the theory of computation, with the notes for the lectures also
used in summer and fall 2003.
- CMPSCI 741, Spring
2003. An advanced graduate course in descriptive complexity and
circuit complexity, co-taught with Neil Immerman.
- CMPSCI 891, AY 2002-2003. The department's
graduate Theory Seminar.
Here is some information on an undergraduate textbook
I am writing, called A Mathematical Foundation for Computer Science,
under contract to McGraw-Hill.
The current (fourth) draft was used as the text for CMPSCI 250 in
Spring 2006. Parts of a fifth draft were used in CMPSCI 251 in Spring 2007,
and other parts were in CMPSCI 250 in Fall 2007.
Here is a list of restaurants in
Amherst and vicinity (updated July 2006).
Here are some lists of undirected graphs with
various numbers of vertices.
I'm a member of the Unitarian
Society of Northampton and Florence, where I have led and co-led
several summer worship services. Here is a page of
links to material on all those services. My service last year was on 6 August
2006 -- my title was "Evidence of Things Not Seen?" and I discussed
The End of Faith by Sam Harris. Last summer I led a service,
on 5 August 2007, titled "The Errors of Comedy". .
My wife Jessica Mix Barrington has posted some fine pictures from her
2005 trip to Italy
here.
I was part of a group that has created the
North Amherst Community
Farm, and thus preserved farming on most of a 38-acre tract near
my house.
I am a co-author of a collaborative alternate history,
For All Nails, extending
For Want of a Nail by Robert Sobel.
I'm a member of Valley Light Opera. I sang in
the chorus of
H.M.S. Pinafore (2003) Ruddigore (2004), and The Mikado
(2007). In November 2005 I sang Pritschisch in VLO's production of
Lehar's The Merry Widow and in November 2006 I sang Annibale in The
Gondoliers.
I'm also a member of the
Hampshire Shakespeare Company, which among other activities puts on two
Shakespeare plays each summer outdoors at the Hartsbrook School in Hadley.
Last summer (2007) I was in
both King Lear (Burgundy, Ensemble) and A Comedy
of Errors (Egeon).
My prior HSC roles were in Macbeth (2006, the Doctor),
Julius Caesar (2005, Cobbler, Metellus Cimber, Ensemble),
A Midsummer Night's Dream (2005, Egeus, Philostrate),
Love's Labors Lost (2003, Nathaniel), and The Winter's Tale
(2002, Shepherd).
I was co-chair (with Prof.
Neil Immerman) of local arrangements for the Nineteenth Annual
IEEE Conference on Computational Complexity, held in Amherst 21-24
June 2004. Here is the local arrangements page with
information
about the conference,
a detailed
program, and a page of photos
of scenic Amherst and vicinity.
My occasional political blogging can be found at
Blue
Mass Group,
MyDD, and the
John Edwards for President
blog.
Some sites I read far too regularly:
- Blue Mass Group, a partisan
Democratic political blog focusing on Massachusetts
- The Boston Globe
- Geoffrey Chaucer Hath a Blog
- Brad DeLong's
Semi-Daily Journal
- Eschaton, a highly partisan
Democratic political site run by the pseudonymous Atrios
- Halfway Down the
Danube, which despite its name now comes from Armenia and Brooklyn, among
other places
- Fafblog! the whole worlds only
source for Fafblog, inspired analysis and commentary from Fafnir, Giblets,
and the Medium Lobster, sadly inactive since summer 2006
- Bill Gasarch's
Computational Complexity Web Log, formerly run by Lance Fortnow
- The Daily Kos, another partisan
Democratic campaign website
- Joshua Michael Marshall's
Talking Points Memo
- mydd.com, yet another partisan Democratic
website
- Teresa (and Patrick)
Nielsen Hayden's
Making Light
- The New Republic
- Salon magazine
- Slate magazine
- Andrew Sullivan's Daily Dish
- TAPPED, the staff blog of
The American
Prospect magazine
- Kevin Drum's Political Animal
weblog, on the home page of the excellent
Washington Monthly magazine
Coming soon (?) -- a list of books I often recommend to people.
There are more things that ought to be on this site but who am
I trying to kid...
Last modified 17 January 2007