James Caldwell

Department Head | Professor

Ryan Roan (M.S.) Type Checking SQL
Senior Software Engineer, Handel Information Technologies Inc., Laramie, WY
Sunil Kothari (Ph.D.) Type Inference and Unification: Formal and Informal Proofs in and around Wand's Algorithm
Researcher at HP Labs, Palo Alto, CA
Josef Pohl (Ph.D.) Programming with Evidence
Research Engineer at NASA Ames Research Center
Christoph Jechlitschek (M.S.) Sharing Mathematical Knowledge in a Distributed Environment - a P2P Approach.
Applications Engineer at Intel
Tjark Weber (M.S.) Program Transformations in Nuprl.
Senior Lecturer, Uppsala University.
Scott Johnson (M.S.) Program Extraction from Single and Multi-Succedent Intuitionistic Propositional Proofs.
Vitali Khaikine (M.S.) Projecting Formal Proofs into XML: Nuprl into HELM