David W. Richardson University of Washington Department of Computer Science and Engineering Box 352350 Seattle, WA 98195 Office: 430 Paul G. Allen Center 206.616.7118

About

I am a 4th year PhD student in the Department of Computer Science and Engineering (CSE) at the University of Washington, where I work with professors Steve Gribble, Hank Levy, and Brian Bershad. I received a BS in Computer Science from Cornell University, and a MS in Computer Science from the University of Washington. I currently live in Seattle, and my hometown is Cincinnati, Ohio.

Research

My original background was in theory, but in the last ~2.5 years my research interests have shifted to systems-oriented research, broadly encompassing:

• Large-scale content delivery systems.
• Scalable Internet services.
• Malcode detection and containment.

Publications

• The Limits of Global Scanning Worm Detectors in the Presence of Background Noise,
  by David W. Richardson, Steven D. Gribble, and Edward D. Lazowska.
  Proceedings of 3rd Workshop on Rapid Malcode (WORM 2005), Fairfax, VA, November 2005.
  .pdf (451 KB).
• Practical Model Checking and Example Generation for Context-Free Processes,
  Technical Report TR2002-1851, Cornell University, August 2001
  .ps (1.5 MB).

Coursework

Graduate computer science courses I have taken (through Summer 2005):

• CS681 - Design and Analysis of Algorithms. Autumn 2001 (at Cornell)
• CSE531 - Computability and Complexity. Autumn 2002
• CSE561 - Computer Networks. Autumn 2002
• CSE573 - Artificial Intelligence. Winter 2003
• CSE557 - Computer Graphics. Winter 2003
• CSE551 - Operating Systems. Spring 2003
• CSE576 - Computer Vision. Spring 2003
• CSE505 - Concepts of Programming Languages.  Autumn 2003
• CSE527 - Computational Biology.  Autumn 2004

Teaching

UW CSE courses I have TA'd:

• CSE373 - Data Structures and Algorithms. Autumn 2002
• CSE143 - Intro to Programming II (Head TA). Winter 2003
• CSEP521 - the applied algorithms course for the CSE Professional Masters Program. Spring 2003
• CSE142 - Intro to Programming I. Winter 2004
• CSE341 - Programming Languages. Spring 2004
• CSE341 - Programming Languages. Autumn 2004
• CSE341 - Programming Languages. Winter 2005
• CSE451 - Operating Systems. Spring 2005

Teaching experience:

• CSEP590 - Model Checking and Automated Verification. Summer 2003.

  

Last updated 04/18/2006

 

 

• Home >