Nuprl Project People
Nuprl Project People
|
| Contacts | Nuprl group founders | ||
| Nuprl staff-- ( nuprl@cs.cornell.edu) | Robert L. Constable | (PRL group founder) | |
| Project Director--R. Constable ( rc@cs.cornell.edu) | Joseph L. Bates | (PRL group founder) | |
| Math Library Page Manager--S. Allen ( sfa@cs.cornell.edu) | Stuart Allen | ||
| Chief Programmer--R. Eaton ( eaton@cs.cornell.edu) | Robert W. Harper | ||
| Doug Howe | |||
| Faculty | Staff | Visitors | ||
| Robert L. Constable | Lori Lorigo | Jens Otten | ||
| Stuart Allen | Rich Eaton | Brigitte Pientka | ||
| Christoph Kreitz | Melissa Totman | Tina Nolte | ||
| Sergei Artemov | Stephan Schmitt | |||
| Mark Bickford | ||||
| Regina Barzilay | ||||
|
| ||||
| Current and Former Students | ||||
| Eli Barzilay | Jason Hickey | Alexey Nogin | ||
| David Basin | Amanda Holland-Minkley | James T. Sasaki | ||
| Ralph Benzinger | Paul Jackson | Scott F. Smith | ||
| Jim Caldwell | Todd B. Knoblock | Judith Underwood | ||
| Tat-Hung Chan | Alexey Kopylov | |||
| Wilfred Chen | Nax P. Mendler | |||
| W. Rance Cleaveland | Wojciech Moczydlowski | |||
| Karl Crary | Evan Moran | |||
| Timothy G. Griffin | Rod Moten | |||
| Ozan Hafizogullari | Chetan Murthy | |||
| Mark Hayden | Pavel Naumov | |||
 |
||||