Home Theoretical aspects of CS (morning lectures) Programming Robotics Math theory Faculty presentations - Carnegie Mellon - School of Computer Science - Dr. Rudich's web site			Faculty presentations Klaus Sutner, August 7 Information on automata and software download instructions Prof. Sutner's web site Matt Humphrey, August 4 Pinnacle Project Peter Lee, July 28 Proof-carrying code Prof. Lee's web site Avrim Blum, July 25 DFApplet - a deterministic finite automata simulator in Java Prof. Blum's web site Brad Myers, July 23 Pebbles PDA Project Prof. Myers' web site Steve Cochran, July 22 Digital Mapping Laboratory Prof. Cochran's web site Ananda Gunawardena, July 18 Prof. Gunawardena's web site Roger Dannenberg, July 14 Prof. Dannenberg's web site Doug James, July 11 Jernej Barbic's web site Prof. James' PipeRench Reconfigurable Comuting Project Prof. Goldstein's web site Jessica Hodgins, July 9 Simulating Human Vision Prof. Hodgins' web site Chuck Thorpe, July 8 The Robotics Institute at CMU NavLab: CMU Navigation Laboratory Prof. Thorpe's web site Randy Bryant, July 3 Prof. Bryant's web site Michael Cristel, July 2 Informedia Digital Video Library Project Prof. Cristel's web site Email Prof. Cristel: cristel @ cs.cmu.edu