Skip to Main Content

Apply Now to the University of Wyoming apply now

James Caldwell

Department Head | Professor

Architectural images


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

1000 E. University Ave. Laramie, WY 82071
UW Operators (307) 766-1121 | Contact Us | Download Adobe Reader

Accreditation | Virtual Tour | Emergency Preparedness | Employment at UW | Privacy Policy | Harassment & Discrimination | Accessibility Accessibility information icon