Use of "NegExp" auditing method in Boulder, Colorado
The ``NegExp'' auditing method developed by Jay Aslam, Raluca Ada
Popa, and myself as part of the CalTech/MIT Voting Technology Project
research is currently being used to audit election results in
some jurisdictions in Boulder, Colorado.
Here is a pointer to the web site regarding the audit:
The person to contact about this, if you are interested in
contacting someone about this, is
Attached is an information sheet about their audit procedures,
which references our paper. You can download more information
from the web site.