Brian Smith
Xerox Professor of Computer Science
Ph.D., University Of California at Berkeley, 1994
Office: 4119A Upson Hall
Office phone: 607-255-1180
(I'm currently on leave, and can be reached at 817-926-5720, or by email)

(This page is always  out of date, and I never seem to get around to keeping it up, so I'm just going to hit the highlights and let links provide the substance.)

To find out more about my research, check out Project Zeno.   You'll  find out everything my research group does and has done.  Here are a few highlight projects: