John R. Cowles
Department of Computer Science
University of Wyoming
Laramie Wyoming 82071
Phone: (307 766-5134
E-Mail Cowles@uwyo.edu
Current Appointment:
Degrees Earned:
- Ph.D., Mathematics,
Pennsylvania State University, 1975.
- M.A., Mathematics,
University of Nebraska, 1970.
- B.A., Mathematics and History,
University of Wyoming, 1968.
Academic Expertise
- Automated Reasoning
- Mathematical Logic
- Number Theory
Current Research:
Mathematical Modeling of Computing Systems,
"A Computational Logic" of Boyer-Kaufmann-Moore.
Class Materials