James Caldwell
Department Head | Professor
Current Students:
Former Students:
- 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
View main page