David A. Mix Barrington

Parrot picture

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. Here is a list of my major publications -- a few have PDF versions and I plan to make more available as I get around to it.

Since the beginning of Fall 2011 I have been Associate Chair for Academic Programs in the School of Computer Science (formerly the Computer Science Department). For several years I have been Chief Undergraduate Advisor, and I am still a good source for academic advice in the department, along with individual faculty advisors, Undergraduate Program Director Rod Grupen, Chief Undergraduate Advisor Tim Richards, and Associate Deans Martha Baker and Carolyn Cave.

Contact Info:

Course Web Sites:

Here is some information on an undergraduate textbook I am writing, called Discrete Mathematics: A Foundation for Computer Science, under contract to McGraw-Hill. (This information was last updated in December 2008.)

The latest complete (fourth) draft of a ten-chapter version of the book was used as the text for CMPSCI 250 in Spring 2006. I am now preparing a fifth draft of a new fifteen-chapter version. The CMPSCI 250 portions of the text were used in Fall 2007, Fall 2010, Spring 2011, Spring 2012, Fall 2013, and Spring 2014. The CMPSCI 240 portions have been used several times, most recently by Prof. McGregor in Fall 2011.

Here is a list of restaurants in Amherst and vicinity (updated July 2006). For a more comprehensive and more up-to-date publicly-edited list that originally derived from this one, see the UMass Wiki.

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 worship services and recently served on the Board of Trustees. Here is a page of links to material on all those services. My last summer service was called "I Love You All, Everything" on 23 June 2013. The one before that was called "The End of the World?", on 15 July 2012. (This was postponed from the summer before, when my service was cancelled due to the threat from Hurricane Irene.) On 11 December 2011 I led my first "regular-season" service, co-created with Mike Nagy, entitled "What is UU Music".

My wife Jessica Mix Barrington has posted some fine pictures from her 2005 trip to Italy here.

I was part of a group that 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. More information, most of it writen by my For All Nails collaborator Johnny Pez, is available at the Sobel Wiki, with an encyclopedic depiction of the alternate world of Sobel's book, and a now-complete archive of For All Nails material.

I'm a member of Valley Light Opera and was in the chorus of its last major production, Yeomen of the Guard in November 2014. I also sang in the chorus of H.M.S. Pinafore (2003 and 2013), Ruddigore (2004), The Mikado (2007), Princess Ida (2008), The Pirates of Penzance (2009), Iolanthe (2010), The Sorcerer (2011), and Patience (2012). 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. In March 2012 I participated in the chorus of VLO's concert staging of the rarely-performed opera Haddon Hall by Sydney Grundy and Sir Arthur Sullivan. Finally, in April 2013 and December 2013 I sang one of the Jurymen in VLO's Trial By Jury.

I'm also a member of (and currently vice president of) the Hampshire Shakespeare Company, and I performed in Julius Caesar last summer at the Renaissance Center just north of the UMass campus. This is a new venue for the company, beginning with the summer of 2011 -- earlier we were at the Hartsbrook School in Hadley. In the summer of 2009 I played Westmoreland and Glendower in Henry IV: Part I. For the latter part I learned how to call spirits from the vasty deep. In the summer of 2010 I played Gonzalo in The Tempest, in the summer of 2011 I played Autolicus (and Archidamus) in The Winter's Tale, in the summer of 2012 I was in the ensemble performing As You Like It, and in 2013 I played Antonio in Much Ado About Nothing.

My earlier HSC roles were in As You Like It (2008, Adam), King Lear (2007, Burgundy, Ensemble), A Comedy of Errors (2007, Egeon), 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 and Blue Hampshire.

Some sites I read far too regularly:

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 22 January 2015