Skip to main content
PRL Project

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 - bio - email

Ariel Kellison, Reseach Aide - 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
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

Nuprl group photo
L to R: Vladamir Voevodsky, Vincent Rahli, Mark Bickford,
Robert Constable
Nuprl group photo
L to R: Vincent Rahli, Robert Constable, Vladamir Voevodsky,
Mark Bickford
Nuprl group photo
L to R: Robert Constable, Judith Underwood, Paul Jackson,
Scott Stoller, Bill Aitken, Rod Moten
Nuprl group photo
L to R: Stuart Allen, Robert Constable, David Basin,
Doug Howe, Chetan Murthy