People
General Inquiries
Email: nuprl@cs.cornell.edu
PRL Founders
Robert L. Constable
Joseph L. Bates
Faculty
Robert L. Constable, Project Director - bio - email
Christoph Kreitz - bio - email
Robbert van Renesse - bio - email
Researchers
Mark Bickford, Senior Researcher - bio - email
Rich Eaton, Chief Programmer - bio - email
Liron Cohen, Postdoctoral Associate - web - email
Ariel Kellison, Research Support Specialist - email
Current Students and Project Alumni
| Abhishek Anand
Vincent Rahli Eli Barzilay David Basin Ralph Benzinger Jim Caldwell Tat-Hung Chan Wilfred Chen W. Rance Cleaveland Karl Crary Timothy G. Griffin |
Robert Harper
Mark Hayden Ozan Hafizogullari Jason Hickey Amanda Holland-Minkley Paul Jackson Todd B. Knoblock Alexey Kopylov Nax P. Mendler |
Wojciech Moczydlowski
Evan Moran Rod Moten Chetan Murthy Pavel Naumov Alexey Nogin James T. Sasaki Scott F. Smith Judith Underwood Rob Vaughn |
Photos
L to R: Vladamir Voevodsky, Vincent Rahli, Mark Bickford, Robert Constable |
L to R: Vincent Rahli, Robert Constable, Vladamir Voevodsky, Mark Bickford |
L to R: Robert Constable, Judith Underwood, Paul Jackson, Scott Stoller, Bill Aitken, Rod Moten |
L to R: Stuart Allen, Robert Constable, David Basin, Doug Howe, Chetan Murthy |