Skip to Main Navigation. Each navigation link will open a list of sub navigation links.

Skip to Main Content

Apply to the University of Wyoming apply now

Global Resource Navigation

Visit Campus
Download UW Viewbook
Give to UW

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 | Gainful Employment | Privacy Policy | Harassment & Discrimination | Accessibility Accessibility information icon