"Surrounded by Machines"

This article, published in the March 2011 edition of Communications of the ACM (pp. 29-31).

Although the article was authored by yours truly, it owes its title to Keith Miller and its publication to Rachelle Hollander, editor of CACM's ethics column, to both of whom my thanks. It briefly describes three of the presentations at the 2010 PAIT workshop.
The funding period for the project officially ends tomorrow (March 1, 2011).

In the same issue, "Catch me if you can" by Gregory Benford (pp. 112-111)¹ traces the evolution of computer viruses and other malware, including Stuxnet. Benford claims that he wrote the first virus. I thank him for the article, but not for his invention.

Ken Pimple, PAIT Project Director

¹This isn't a typo; the article begins on page 112 and ends on 111.