James Caldwell

Department Head | Professor

 

Current Students:

• Coming soon

---

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