# 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**