Nevin's Home Page

I've moved to Bell Labs ...
Rm 2A-411, Bell Labs
600 Mountain Ave
Murray Hill NJ 07974-0636
nch@research.bell-labs.com
(908) 582-6419 (FAX -7550)
home: (201) 644 0309
I still visit Computer Science at CMU regularly.

Research

  • set-based analysis
  • koala document fingerprinting
  • computer security
  • ftp directory
  • popl-95 lecture on constraint-based program analysis

    • Projects

  • fox
  • electronic franking

    • Links

  • list of cs departments
  • lycos search engine
  • australian rules football
    • nch@cs.cmu.edu