Semantics Based People

Please send additions (including URL for institution if not listed). Initial list from the Atlantique Workshop roster. See also Mark Leone's list of language and compiler researchers, Imperial College's logics and theory bibliography indexed by researcher.

Aarhus DAIMI
- Olivier Danvy
- Flemming Nielson
- Hanne Riis Nielson
Carnegie Mellon
- Chris Colby
- Bob Harper
- Peter Lee
- Mark Leone
- John Reynolds
- Bill Scherlis
DIKU TOPPS group
- (people)
Ecole Normale Superieure
- Patrick Cousot
Ecole Polytechnique
- Radhia Cousot
Glasgow
- John Launchbury
Imperial College
- Chris Hankin
INRIA
- Daniel Le Metayer (Rennes)
- Pierre Lescanne (INRIA-Lorraine)
IRISA partial evaluation group.
- Charles Consel
Kansas State (people)
- Anindya Banerjee
- John Hatcliff
- David Schmidt
Microsoft Research
- Bjarne Steensgaard
MIT AI Lab
- Michael R. Blair
- Rajeev Surati
New York University
- Bob Paige
- Mooly Sagiv
Northeastern
- Mitch Wand
- Greg Sullivan
- Paul Steckler
Oregon Graduate Institute Computer Science
- Francoise Bellegarde
- Charles Consel
- James Hook
- Richard Kieburtz
- Tim Sheard
- David Burke
Rice Computer Science
- Bruce Duba
- Matthias Felleisen
Rutgers Computer Science
- Barbara Ryder
Stanford Computer Science
- Carolyn Talcott
UC San Diego Computer Science and Engineering
- Bill Griswold
Wisconsin's Program Slicing Project
Yale
- Paul Hudak
- Mark Jones

W. Scherlis CMU <scherlis@cs.cmu.edu>