Collaborators

I collaborate with a number of people at Carnegie Mellon and elsewhere.

At Carnegie Mellon

• Guy Blelloch. Data parallel languages, adaptive computation.
• Karl Crary. Certifying compilers, programming language design.
• Peter Lee. Certifying compilers.
• Gary Miller. Scientific computing.
• Frank Pfenning. Logical frameworks, refinement types.
• John Reynolds. Type systems.
• Dana Scott. Type theory, semantics.
• Noel Walkington. Scientific computing.

Elsewhere

• Craig Chambers, University of Washington.
• Perry Cheng, IBM Research.
• Matthias Felleisen, Northeastern University.
• Robin Milner, Cambridge University.
• John C. Mitchell, Stanford University.
• Greg Morrisett, Cornell University.
• Benjamin C. Pierce, University of Pennsylvania.
• Gordon Plotkin, Edinburgh University.
• Chris Stone, Harvey Mudd College.
• Mads Tofte, Information Technology University, Denmark.
• Dave Walker. Effective refinements.
• Hongwei Xi, University of Cincinnati.

Last modified: Sat May 10 13:30:59 EDT 2003