Carnegie Proof Lab

Introduction
Features
Tour
Support Site

Project Participants

Logic and Proofs

Faculty Project Director:   Wilfried Sieg
Project Technical Lead:   Davin Lafon
Software Architecture/Design:   Davin Lafon
Joseph Ramsey
Java Programming:   Davin Lafon
Jessi Berkelhammer
Bill Drodz
Orlin Vakarelov
Interface Design:   Jessi Berkelhammer
Davin Lafon
Dawn McLaughlin
Joseph Ramsey
Interface Implementation:   Jessi Berkelhammer
Davin Lafon
Support Site:   Dawn McLaughlin (Web Design)
Davin Lafon (Content)
Quality Assurance & Testing:   Jessi Berkelhammer
Tyler Gibson
Davin Lafon
Dawn McLaughlin
Ramyaa
Sound Engineering and Editing:   Davin Lafon
Didgeridoo:   Davin Lafon
Other Vital Contributions:   AProS team (Core CPL functionality!)
Ian Kash (Consulting)
Clinton Field (Original CPT, new CPL)
Richard Scheines (First-generation CPT, foundations)
John Byrns (First-generation CPT, foundations)
Bill Jerome (Interface Testing and Analysis)
Willie Wheeler (Software Design/Architecture consulting)
Iain McLaughlin (Sound Engineering consulting)
Voice of Logic:   Wilfried Sieg