+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
THIS FILE CONTAINS NAMES OF ALL SPEAKERS THAT GAVE THE TALK IN
THE TCSDLS (Triangle Computer Science Distinguished Lecturer Series) FROM 1995 -- PRESENT
(see also http://www.cs.unc.edu/Events/DistLectures/index.html)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

(use the "find" tool in the web-browser to search this file)

Triangle Computer Science Distinguished Lecturer Series: 2006-2007 Speakers

October 30, 2006
Speaker: Barton Miller, Computer Science, University of Wisconsin
Title: Optical Networking: Binary Code Patching: An Ancient Art Refined for the 21st Century
Host School: NC State University

November 13, 2006
Speaker: Hank Levy, Computer Science, University of Washington
Title: Reliability Challenges for Commodity Operating Systems
Host School: Duke University

December 4, 2006
Speaker: David Karger, MIT Title: Why everyone should be their own database administrator, UI designer, application developer, and web site builder, and how they can
Host School: Duke University

January 29, 2007
Speaker: Edmund Clarke, Computer Science, Carnegie Mellon University
Title: Model Checking: From Hardware To Software And Back Again
Title: Optical Networking: Its Inter-Disciplinary Nature and New Research Challenges
Host School: UNC-Chapel Hill

February 5, 2007
Speaker: Daphne Koller, Computer Science, Stanford University
Title: Probabilistic Models for Structured Domains: From Cells to Bodies
Host School: Duke University

February 19, 2007
Speaker: Dan Gusfield, Professor, Computer Science, University of California - Davis
Title: Algorithms for estimating and reconstructing recombination in populations
Host School: NC State University

February 26, 2007
Speaker: Harry Shum, Microsoft Research Asia, Microsoft Corporation
Title: Prior, Context and Interactive Computer Vision
Host School: UNC-Chapel Hill

March 26, 2007
Speaker: Jennifer Widom, Computer Science, Stanford University
Title: Trio: A System for Data, Uncertainty, and Lineage
Host School: Duke University

April 9, 2007
Speaker: Tuomas Sandholm, Professor and Director, Agent-Mediated Electronic Marketplaces Lab, Carnegie Mellon University
Title: Algorithms for solving sequential imperfect information games, and application to poker
Host School: NC State University

Triangle Computer Science Distinguished Lecturer Series: 2005-2006 Speakers

October 31, 2005
Speaker: Biswanath Mukherjee, Computer Science, University of California, Davis
Title: Optical Networking: Its Inter-Disciplinary Nature and New Research Challenges
Host School: NC State University

November 14, 2005
Speaker: David Johnson, AT&T Labs -- Research,
Title: Compressing Rectilinear Pictures, with Applications to Internet Routing
Host School: NC State University

January 23, 2006
Speaker: John A. Stankovic, Computer Science, University of Virginia
Title: Self-Organizing Wireless Sensor Networks in Action
Host School: NC State University

January 30, 2006
Speaker: Steve Bellovin, Columbia University
Title: Permissive Action Links, Nuclear Weapons, and the History of Public Key Cryptography
Host School: UNC-Chapel Hill

February 13, 2006
Speaker: Alan Burns, University of York, U.K.
Title: Modeling Temporal behaviour in Complex Socio-Technical Systems
Host School: UNC-Chapel Hill

April 10, 2006 Speaker: Nicholas Ayache, Research Director, Epidaure/Asclepios Laboratory, INRIA
Title: Computational Models for Medical Image Analysis
Host School: UNC-Chapel Hill

April 17, 2006
Speaker: Anne Condon, University of British Colombia
Title: RNA Molecules: Glimpses Through an Algorithmic Lens
Host School: Duke University

Triangle Computer Science Distinguished Lecturer Series: 2004-2005 Speakers

October 25, 2004
Speaker: Michael Rabin, Computer Science, Harvard University
Title: The Eighth Commandment
Host School: Duke University

November 8, 2004
Speaker: Shree Nayar, Columbia University
Title: Computational Camera: Redefining the Image
Host School: UNC-Chapel Hill

November 15, 2004
Speaker: Mary Shaw, School of Computer Science, Carnegie Mellon University
Title: Everyday Dependability for Everyday Needs
Host School: NC State University

December 6, 2004
Speaker: Jessica Hodgins, Carnegie Mellon University
Title: Interfaces for Controlling Human Characters
Host School: UNC-Chapel Hill

February 7, 2005
Speaker: G.W. Pete Stewart, Computer Science, University of Maryland at College Park
Title: MATRAN: A Fortran 95 Wrapper for Matrix Operations
Host School: NC State University

February 21, 2005
Speaker: Tomaso Poggio, Department of Brain and Cognitive Sciences, MIT
Title: Learning: Theory and Applications
Host School: Duke University

February 28, 2005
Speaker: Christos Faloutsos, Carnegie Mellon University
Title: Data Mining Using Fractals and Power Laws
Host School: UNC-Chapel Hill

April 4, 2005
Speaker: Jack Dongarra, Computer Science, University of Tennessee
Title: An Overview of High Performance Computing and Self Adapting Numerical Software
Host School: NC State University

Monday, April 18, 2005
Speaker: Leonidas J. Guibas, Computer Science, Stanford University
Title: Lightweight Distributed Reasoning in Sensor Networks
Host School: Duke University

Triangle Computer Science Distinguished Lecturer Series: 2003-2004 Speakers

27 OCTOBER 2003
Speaker: Pavel Pevzner, Dept. of Computer Science & Engineering, University of California, San Diego
Title: Transforming Men into Mice: Lesson from Human and Mouse Genomic Sequences
Host School: Duke University

10 NOVEMBER 2003
Speaker: Lydia Kavraki, Department of Computer Science, Rice University
Title: Modeling the Conformational Flexibility of Proteins
Host School: UNC-Chapel Hill

17 NOVEMBER 2003
Speaker: Anna Karlin, Department of Computer Science & Engineering, University of Washington, Seattle
Title: Mechanism Design for Fun and Profit
Host School: Duke University

9 FEBRUARY 2004
Speaker: Joe Marks, Mitsubishi Electric Research Laboratories (MERL)
Title: Ubiquitous-Computing Research at MERL: A Selective Overview
Host School: NC State University

1 MARCH 2004
Speaker: Mike Reiter, Center for Computer and Communications Security, CMU
Title: Security for, and by, converged mobile devices
Host School: NC State University

29 MARCH 2004
Speaker: Stuart Russell, Computer Science Division, University of California, Berkeley
Title: Identity Uncertainty
Host School: Duke University

5 APRIL 2004
Speaker: Jonathan Turner, Department of Computer Science, Washington University in St. Louis
Title: Extensible Networking
Host School: UNC-Chapel Hill

26 APRIL 2004
Speaker: John Laird, Electrical Engineering and Computer Science Department, University of Michigan
Title: Toward Human-level AI
Host School: NC State University

Triangle Computer Science Distinguished Lecturer Series: 2002-2003 Speakers

9 SEPTEMBER 2002
Speaker: Frans Kaashoek, Masachusetts Institute of Technology
Title: "Peer-to-Peer Computing: A Fad?"
Host School: Duke University

21 OCTOBER 2002
Speaker: Peter Freeman, National Science Foundation
Title: "Research and Education Challenges in Computing"
Host School: N.C. State University

4 NOVEMBER 2002
Speaker: Ian Munro, University of Waterloo
Title: "Frequency Estimation of Internet Packet Streams with Limited Space."
Host School: Duke University

11 NOVEMBER 2002
Speaker: M. Satyanarayanan, Carnegie Mellon University
Title: "Pervasive Computing: Vision and Challenges"
Host School: UNC-Chapel Hill

27 JANUARY 2003
Speaker: Murray Woodside, Carleton University
Title: "Understanding Performance Aspects of Layered Software with Layered Resources"
Host School: N.C. State University

3 MARCH 2003
**CANCELED**
Speaker: Larry A. Rowe, University of California at Berkeley
Title: "The Impact of Lecture Webcasting and Other Information Technologies on Higher Education"
Host School: UNC-Chapel Hill

14 APRIL 2003
Speaker: Sushil Jajodia, George Mason University
Title: "Recent Advances in Access Control Models"
Host School: N.C. State University

Triangle Computer Science Distinguished Lecturer Series: 2001-2002 Speakers

5 NOVEMBER 2001
Speaker: Dr. Steven Feiner, Department of Computer Science, Columbia University
Title: "Environment Management for Augmented Reality"
Host School: N.C. State University

28 JANUARY 2002
Speaker: Dr. Nicholas Pippenger, Department of Computer Science, University of British Columbia
Title: "Computation in the Presence of Noise: Classical and Quantum"
Host School: N.C. State University

11 FEBRUARY 2002
Speaker: Dr. Anita K. Jones, Department of Computer Science, School of Engineering and Applied Science, University of Virginia
Title: "Cyber Security--The Weak Link"
Host School: UNC-Chapel Hill

18 FEBRUARY 2002
Speaker: Dr. Bruce Randall Donald, Departments of Computer Science & Chemistry, Center for Structural Biology and Computational Chemistry, Dartmouth College
Title: "Algorithmic Challenges in Structural Molecular Biology"
Host School: UNC-Chapel Hill

25 FEBRUARY 2002
Speaker: Dr. Lixia Zhang, Department of Computer Science, University of California at Los Angeles
Title: "How to Scale"
Host School: N.C. State University

18 MARCH 2002
Speaker: Dr. Richard Karp, Computer Science Division, University of California, Berkeley
Title: "Accessing Data In Peer-to-Peer Networks and Other Large Distributed Networks"
Host School: Duke University

8 APRIL 2002
Speaker: Dr. Leslie Lamport, Microsoft Research
Title: "Paxos Made Simple"
Host School: UNC-Chapel Hill

22 APRIL 2002
Speaker: Dr. Eric Horvitz, Microsoft Research
Title: "Uncertainty, Intelligence, and Interaction"
Host School: Duke University

Triangle Computer Science Distinguished Lecturer Series: 2000-2001 Speakers

9 OCTOBER 2000
Speaker: Krishan Sabnani, Bell Labs
Title: "Content Delivery and Distribution in the Internet"
Host School: N.C. State University

23 OCTOBER 2000
Speaker: Jon Bentley, Avaya Labs
Title: "Cache-Conscious Algorithms and Data Structures"
Host School: UNC-Chapel Hill

30 OCTOBER 2000
Speaker: Christos Papadimitriou, University of California at Berkeley
Title: "Algorithmic Problems Related to the Internet"
Host School: UNC-Chapel Hill

6 NOVEMBER 2000
Speaker: Amir Pneuli, Weizmann Institute of Science and New York University
Title: "Verifying Reactive Systems: Taming the Infinite"
Host School: N.C. State University

27 NOVEMBER 2000
Speaker: Bernard Chazelle, Princeton University and NEC Research Institute
Title: "The Discrepancy Method"
Host School: Duke University

12 FEBRUARY 2001
Speaker: Susan Eggers, University of Washington
Title: "Managing Thread-Shared Hardware Resources on Simultaneous Multithreaded Processors"
Host School: Duke University

19 FEBRUARY 2001
Speaker: Takeo Kanade, Robotics Institute, Carnegie Mellon University
Title: "Virtualized Reality: 4D Digitization of a Time-Varying Real Event and Its Application"
Host School: Duke University

26 FEBRUARY 2001
Speaker: Ed Catmull, Pixar Animation Studios
Title: "Creative Process Behind Animated Feature Films"
Host School: UNC-Chapel Hill

5 MARCH 2001
Speaker: John Knight, University of Virginia
Title: "Survivability of Critical Infrastructure Systems"
Host School: N.C. State University

Triangle Computer Science Distinguished Lecturer Series: 1999-2000 Speakers

27 SEPTEMBER 1999
Speaker: Burton Smith, Tera Computer Company
Title: "Concurrent Design of a Compiler and an Architecture"
Host School: UNC-Chapel Hill

4 OCTOBER 1999
Speaker: Dr. Vladimir Rokhlin, Yale University
Title: "A New Class of Fast Adaptive Multipole Methods"
Host School: Duke University

18 OCTOBER 1999
Speaker: Dr. Carlo Sequin, University of California at Berkeley
Title: "CAD, Creativity, and Reality"
Host School: N.C. State University

25 OCTOBER 1999
Speaker: Dr. Steven W. Zucker, Yale University
Title: "Vision, Tangents, and Neural Computation"
Host School: UNC-Chapel Hill

1 NOVEMBER 1999
Speaker: Dr. Kang G. Shin, University of Michigan
Title: "EMERALDS: A Small-Memory Real-Time Microkernel for Information Appliances"
Host School: N.C. State University

8 NOVEMBER 1999
Speaker: Dr. Jude Shavlik, University of Wisconsin
Title: "Creating an Instructable and Self-Adaptive Web Browser"
Host School: N.C. State University

15 NOVEMBER 1999
Speaker: Dr. Barbara Liskov, Massachusetts Institute of Technology
Title: "Persistent Object Repositories in Distributed Systems"
Host School: Duke University

6 DECEMBER 1999
Speaker: Dr. Tony DeRose, Pixar Animation Studios
Title: "How Computer Graphics is Changing Hollywood"
Host School: UNC-Chapel Hill

20 MARCH 2000
Speaker: Dr. Jeffrey D. Ullman, Stanford University
Title: "Some Advances in Data-Mining Techniques"
Host School: Duke University

Triangle Computer Science Distinguished Lecturer Series: 1998-1999 Speakers

5 OCTOBER 1998
Speaker: Dr. Randy Pausch, School of Computer Science, Carnegie Mellon University
Title: "The Interdisciplinary Challenge of Building Virtual Worlds"
Host School: UNC-Chapel Hill

19 OCTOBER 1998
Speaker: Dr. Nicolas D. Georganas, Multimedia Communications Research Laboratory and School of Information Technology and Engineering, University of Ottawa
Title: "Multimedia Tele-Collaboration with Shared Spaces: Experiences"
Host School: N.C. State University

16 NOVEMBER 1998
Speaker: Dr. Peter Lee, Carnegie Mellon University
Title: "Proofs, Types, and Safe Mobile Code"
Host School: N.C. State University

7 DECEMBER 1998
Speaker: Dr. Larry Peterson, Department of Computer Science, Princeton University
Title: "The Scout Operating System"
Host School: Duke University

1 FEBRUARY 1999
Speaker: Dr. Peter Winkler, Bell Laboratories, Lucent Technologies
Title: "Optimality and Greed in Dynamic Allocation"
Host School: N.C. State University

15 FEBRUARY 1999
Speaker: Dr. Leslie Pack Kaelbling, Department of Computer Science, Brown University
Title: "Building Topological Maps for Robot Navigation"
Host School: Duke University

1 MARCH 1999
Speaker: Dr. Jurg Nievergelt, ETH Zurich
Title: "Half-a-century of Computer Chess: The Longest Running Experiment in Knowledge Engineering"
Host School: UNC-Chapel Hill

5 APRIL 1999
Speaker: Dr. Richard R. Muntz, Computer Science Department, School of Engineering and Applied Science, University of California at Los Angeles
Title: "Storage Systems Issues in Multimedia"
Host School: UNC-Chapel Hill

5 APRIL 1999
Speaker: Dr. Aravind K. Joshi, Department of Computer and Information Science and The Institute for Research in Cognitive Science, University of Pennsylvania
Title: "Role of Constrained Formal Systems: Theoretical, Computational, and Processing Implications"
Host School: Duke University

Triangle Computer Science Distinguished Lecturer Series: 1997-1998 Speakers

20 OCTOBER 1997
Speaker: Dr. Seth Teller, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology
Title: "City Scanning: Automatic Acquisition of Textured 3D Geometric Models of Urban Environments"
Host School: Duke University

3 NOVEMBER 1997
Speaker: Dr. Avi Silberschatz, Information Sciences Research Center, Bell Laboratories
Title: "Next Generation Information Systems"
Host School: Duke University

17 NOVEMBER 1997
Speaker: Dr. John Reynolds, School of Computer Science, Carnegie Mellon University
Title: "Can Programs be both Correct and Efficient? Typing and Specification for Low-level Programming Languages"
Host School: N.C. State University

2 FEBRUARY 1998
Speaker: Dr. James W. Demmel, Electrical Engineering and Computer Science Department, University of California at Berkeley
Title: "Recent Advances in High Performance Linear Algebra"
Host School: UNC-Chapel Hill

16 FEBRUARY 1998
Speaker: Dr. Krithi Ramamritham, Department of Computer Science, University of Massachusetts
Title: "Building Virtual Warehouses using Workflows and the Web"
Host School: N.C. State University

30 MARCH 1998
Speaker: Ken Kennedy, Department of Computer Science, Rice University
Title: "Interprocedural Compilation: Algorithms and Applications"
Host School: UNC-Chapel Hill

13 APRIL 1998
Speaker: Jean-Claude Latombe, Computer Science Department, Stanford University
Title: "Randomized Path Planning: Algorithms, Analysis, and Applications"
Host School: Duke University

27 APRIL 1998
Speaker: Pat Hanrahan, Departments of Computer Science and Electrical Engineering, Stanford University
Title: "Digital Lights, Cameras, Materials"
Host School: UNC-Chapel Hill

Triangle Computer Science Distinguished Lecturer Series: 1996-1997 Speakers

7 OCTOBER 1996
Speaker: Stanley Zdonik, Brown University
Title: "Data Data Everywhere"
Host: Duke University

4 NOVEMBER 1996
Speaker: John R. Rice, Purdue University
Title: "Problem Solving Environments for Scientific Computing"
Host: N.C. State University

18 NOVEMBER 1996
Speaker: Herbert Edelsbrunner, University of Illinois at Urbana-Champaign
Title: "Complexes, Algorithms, and Modeling Applications"
Host: Duke University

2 DECEMBER 1996
Speaker: Bruce Buchanan, University of Pittsburgh
Title: "Knowledge-Based Learning and Discovery"
Host: N.C. State University

3 FEBRUARY 1997
Speaker: Robert F. Sproull, Sun Microsystems Laboratories
Title: "Digital Interfaces to Services"
Host: UNC-Chapel Hill

17 FEBRUARY 1997
Speaker: Randy Katz, University of California-Berkeley
Title: "The Case for Wireless Overlay Networks"
Host: UNC-Chapel Hill

3 MARCH 1997
Speaker: S. Rao Kosaraju, Johns Hopkins University
Title: "Algorithms for DNA Sequence Assembly"
Host: Duke University

21 APRIL 1997
Speaker: Ruzena Bajcsy, University of Pennsylvania
Title: "The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors"
Host: UNC-Chapel Hill

28 APRIL 1997
Speaker: Luca Cardelli, Digital Equipment Corporation
Title: "Foundations of Object-Oriented Programming"
Host: N.C. State University

Triangle Computer Science Distinguished Lecturer Series: 1995-1996 Speakers

2 OCTOBER 1995
Speaker: Monica S. Lam, Stanford University
Title: "The Stanford SUIF Parallelizing Compiler"
Host: Duke University

6 NOVEMBER 1995
Speaker: Dennis Gannon, Indiana University
Title: "High Performance Computing: Life After the HPCC Program"
Host: UNC-Chapel Hill

20 NOVEMBER 1995
Speaker: Mitchell Marcus, University of Pennsylvania
Title: "New Trends in Natural Language Processing"
Host: Duke University

22 JANUARY 1996
Speaker: Franco P. Preparata, Brown University
Title: "Horizons of Parallel Computing"
Host: Duke University

5 FEBRUARY 1996
Speaker: John A. Stankovic, University of Massachusetts
Title: "Key Dilemmas in Real-Time Systems"
Host: N.C. State University

19 FEBRUARY 1996
Speaker: H. T. Kung, Harvard University
Title: "Traffic Management for Very High-Speed Networks"
Host: UNC-Chapel Hill

18 MARCH 1996
Speaker: David Dobkin, Princeton University
Title: "Applied Computational Geometry: Progress Report"
Host: UNC-Chapel Hill

1 APRIL 1996
Speaker: Mani Chandy, California Institute of Technology
Title: "Patterns of Specifications"
Host: N.C. State University

15 APRIL 1996
Speaker: Gene H. Golub, Stanford University
Title: "Applications of the Theory of Moments to Large Scale Computations"
Host: N.C. State University