4:00 - 5:30

Session 2: Sampling of Hard Research Questions in Computer Science

Sriram Rajamani, Microsoft Research—Specifying and Checking Properties of Programs

Lillian Lee, Cornell University—“I’m Sorry Dave, I’m Afraid I Can’t Do That”: Linguistics, Statistics, and Natural Language Processing in 2001

Chee Yap, New York University—Toward Robust Geometric Computation



6:30 p.m.



7:30 a.m.

Continental Breakfast

8:30 - 10:30

Session 3: CS Research: Content and Character

Ursula Martin, University of St. Andrews—What Is Computer Science?—The European Perspective

Neil Immerman, University of Massachusetts, Amherst—On the Unusual Effectiveness of Logic in Computer Science

Amy Bruckman, Georgia Institute of Technology—Synergies Between Educational Theory and Computer Science

Gerald Sussman, Massachusetts Institute of Technology—The Legacy of Computer Science

10:30 - 10:45


10:45 - 12:00

Wrap-up Discussion—What Makes Computer Science Vital and Exciting?

All-participant discussion, moderated by Jim Foley, Georgia Institute of Technology

The National Academies | 500 Fifth St. N.W. | Washington, D.C. 20001
Copyright © National Academy of Sciences. All rights reserved.
Terms of Use and Privacy Statement