Some of the content on this website requires JavaScript to be enabled in your web browser to function as intended. While the website is still usable without JavaScript, it should be enabled to enjoy the full interactive experience.

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

Skip to Main Content

Computer Science|College of Engineering and Applied Science

John Cowles


Professor of Computer Science

Room 4075, Engineering Building
University of Wyoming
College of Engineering and Applied Science
Department of Computer Science
Dept. 3315
1000 E. University Avenue
Laramie, WY 82071
cowles@uwyo.edu
Phone: (307) 766-5134
Research and Course web page
John Cowles

Education

  • Ph.D. Pennsylvania State University 1975
  • M.A. University of Nebraska 1970
  • B.A. University of Wyoming 1968

Professional Experience

  • Professor of Computer Science University of Wyoming 1992--present
  • Associate Professor of Computer Science University of Wyoming 1986--1992
  • Assistant Professor of Computer Science University of Wyoming 1980--1986
  • Supply Assistant Professor of Mathematics University of Wyoming 1978--1980
  • Lecturer of Mathematics University of Virginia 1976--1978
  • Member of School of Mathematics Institute for Advanced Study 1975--1976

Research Interests
Automated Reasoning, Mathematical Logic, Number Theory , Mathematical Modeling of Computing Systems, "A Computational Logic" of Boyer-Kaufmann-Moore.

Selected Publications

  • J. Cowles, Knuth's generalization of McCarthy's 91 function, In: J. Moore, P. Manolios, and M. Kaufmann, editors, Computer-Aided Reasoning: ACL2 Case Studies, Kluwer Academic Press, 2000. An Open Problem of Knuth is resolved.
  • R. Gamboa and J. Cowles, 2012, A Cantor trio: Denumerability, the reals, and the real algebraic numbers. Third International Conference on Interactive Theorem Proving, ITP 2012, Princeton, NJ, August 13--16.
  • J. Cowles and R. Gamboa, 2011, Verifying Sierpinski and Riesel numbers in ACL2, Proceedings of the Tenth International Workshop on the ACL2 Theorem Prover and its Applications, Austin, TX, November 3--4, 20--27.
  • M. Arnold, J. Cowles, V. Paliouras, and I. Kouretas, 2011, Towards a quaternion complex logarithmic number system, ARITH 20, 20th IEEE Symposium on Computer Arithmetic, Tubingen, Germany, July 25--27.
  • J. Cowles and R. Gamboa, 2010, Using a first order logic to verify that some set of reals has no Lesbegue measure, Proceedings of the First International Conference on Interactive Theorem Proving, ITP 2010, Edinburgh, Scotland, July 11--14, 25--34.
  • R. Gamboa and J. Cowles, 2009, Inverse functions in ACL2(r), Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications, Northeastern University, Boston, MA, May 11--12, 57--61.
  • R. Gamboa and J. Cowles, 2007, Theory extension in ACL2(r), J. of Automated Reasoning 38, 273--301.
  • J. Cowles, D. Greve, and W. Young, 2007, The while-language challenge: first progress, Proceedings of the Seventh International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, November 15--16, 25--29.

Share This Page:

Footer Navigation

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