NA-MKM 2002
A North American Workshop on Mathematical Knowledge Management
McMaster University, Ontario, Canada

Lori Lorigo

Cornell University
4158 Upson Hall
Department of Computer Science
Cornell University
Phone: (607) 255-1134
Ithaca, NY 14853 USA
Fax: (607) 255-4428


 
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
Summer School in Proof and System Reliability, Marktoberdorf/NATO 2001
Master's of Engineering in Computer Science, Cornell, 2001
Bachelor of Science in CS and Operations Research (Double major), Cornell, 1997
 


 
MKM Research Interests
Publications/Talks



  Lori Lorigo, Department of Computer Science, Cornell University. lolorigo@cs.cornell.edu. May 2002.