Peter Lee @ November 8, 2008 # No Comment Yet
Ed Clarke, winner of the 2007 Turing Award, published the initial paper on model checking with E. Allen Emerson in a volume of Lecture Notes in Computer Science (LNCS). But Ed’s publications with LNCS didn’t stop there. In fact, Ed published 85 papers in LNCS, totalling 1,060 pages! Well, in a very nice gesture, LNCS […]
Peter Lee @ November 4, 2008 # No Comment Yet
This month, The Fine Foundation approved a grant in support of “research on the emerging discipline of human computation.” The grant will be instrumental in furthering the development of human computation and aid in the establishment of a new research center in this area.
The award recognizes the pioneering work by Luis von Ahn and his […]
Peter Lee @ November 4, 2008 # No Comment Yet
Ed Lazowska and I have posted a call for “game-changing research advances” on the CCC Blog today. This is part of a larger process to contribute to the 20th-year celebration of NSF’s Computer & Information Science & Engineering (CISE) directorate, planned for some time next year.
We’ve posted a few of our thoughts (well, mostly Ed’s […]