The Fox Project
Researchers

Current Members of the Fox Project

• Andrew Bernard
• Franklin Chen
• Perry Cheng
• Karl Crary
• Rowan Davies
• Herb Derby
• Derek Dreyer
• Bob Harper
• Peter Lee
• Leaf Petersen
• Frank Pfenning
• David Swasey
• Joe Vanderwaart
• David Walker
• Kevin Watkins

Past Members and Generally Interesting People

• Nick Barnes, aka Nick Haines (Ravenbrook Ltd.)
• Lars Birkedal
• Edo Biagioni (Hawaii)
• Steve Brookes
• Iliano Cervesato (Stanford)
• Ed Clarke
• Ken Cline
• Christopher Colby (Loyola)
• Olivier Danvy (Aarhus)
• Scott Draves (Transmeta Corp.)
• Mootaz Elnozahy
• Matthias Felleisen (Rice)
• Andrzej Filinski (BRICS)
• Robby Findler (Rice)
• Shai Geva
• Tim Freeman
• Nevin Heintze (Bell Labs)
• Mark Leone (Indiana)
• Brian Milnes
• Greg Morrisett (Cornell)
• Aleksandar Nanevski
• George Necula (Berkeley)
• Scott Nettles (UPenn)
• Chris Okasaki
• John Reynolds
• Ekkehard Rohwedder
• Amr Sabry (Indiana)
• William Scherlis
• Cleah Schlueter
• Carsten Sch�rmann (Yale)
• Dana Scott
• Chris Stone
David Tarditi (Microsoft)
• Philip Wickline
• Jeannette Wing
• Dan Wang (Princeton)

[ Home | Contact Information | Publications | Researchers ]
[ FoxNet | Typed Intermediate Languages | Proof-Carrying Code ]
[ Logical Frameworks | Staged Computation | Language Design ]

[email protected]
http://www.cs.cmu.edu/~fox/