Lori Lorigo |
||||||||
|
RESEARCH SUMMARY |
I am currently working on the PRL PROJECT designing logical programming environments to enable program composition, transformation and verification. We are developing automated proof assistants that exhibit "intelligent" problem solving behaviors, and a formal digital library, FDL, that serves as a resource for both mathematicians and system developers. EDUCATION
|
|
|