PRL research group The work will be done by the proposer and researchers from the PRL research group, principally Robert Constable, Stuart Allen, Richard Eaton, and Lori Lorigo with help from others from time to time. We will be able to use a great deal of the material being created under various research grants and contracts, and many of the enhancements to Nuprl will apply in educational uses. We are asking only for funds to prepare course material and Web access to it.