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

Ruben Gamboa


Associate Professor of Computer Science

Room 4084B, Engineering Building
University of Wyoming
College of Engineering and Applied Science
Department of Computer Science
Dept. 3315
1000 E. University Avenue
Laramie, WY 82071
ruben@uwyo.edu

Research and Course web page
Ruben Gamboa

Education

  • Ph.D. University of Texas at Austin 1999
  • M.C.S. Texas A&M University 1986
  • B.S. Angelo State University 1984

Professional Experience

  • Associate Professor, University of Wyoming, 2007-present
  • Assistant Professor, University of Wyoming, 2002-2007
  • Member, Technical Advisory Group, Morningstar, 2010-2011
  • Member, Technical Advisory Board, Logical Information Machines (LIM), 2000-2010
  • V.P. of Engineering, Loop One, 2000-2001
  • Founder and Member of Board of Directors, Logical Information Machines (LIM), 1990-2000
  • Junior Member, Technical Staff, Microelectronics and Computer Technology Corporation (MCC), 1988-1989

Research Interests
ACL2, formalization of mathematics, automated theorem proving, applications of cloud computing and NoSQL databases

Selected Publications

  • Gamboa, R. and J. Cowles. "A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers." In Proceedings of the 3rd International Conference on Interactive Theorem Proving (ITP), Princeton, NJ, 2012.
  • Reid, P. and R. Gamboa. "Automatic Differentiation in ACL2." In Proceedings of the 2nd International Conference on Interactive Theorem Proving (ITP), Nijmegen, The Netherlands, 2011.
  • Gamboa, R. and J. Cowles. "Inverse Functions in ACL2(r)." In 8th International Workshop on the ACL2 Theorem Prover and its Applications, Boston, MA, 2009.
  • Gamboa, R. and J. Cowles. "The Chain Rule and Friends in ACL2(r)." Presented at the 8th International Workshop on the ACL2 Theorem Prover and its Applications, Boston, MA, 2009.
  • Gamboa, R. and J. Cowles. "Theory Extension in ACL2(r)." In Journal of Automated Reasoning, May, 2007.
  • Gamboa, R. "ACL2." In The Seventeen Provers of the World, by F. Wiedijk. Springer, Lecture Notes in Artificial Intelligence, 2006.
  • Gamboa, R. and J. Cowles. "A Mechanical Proof of the Cook-Levin Theorem." In Proceedings of the 17th International Conference on Theorem Proving and Higher Order Logics (TPHOLs), Park City, UT, 2004.
  • Sawada, J. and R. Gamboa. "Mechanical Verification of a Square Root Algorithm using Taylor's Theorem." In Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD), Portland, OR, 2002.
  • Gamboa, R. and B. Middleton. "Taylor's Formula with Remainder." In 3rd International Workshop on the ACL2 Theorem Prover and its Applications, Grenoble, France, 2002.
  • Gamboa, R. and M. Kaufmann. "Non-Standard Analysis in ACL2." In Journal of Automated Reasoning, November, 2001.
  • Gamboa, R. "Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2." In the Workshop on Parallel Programming, part of the 1st Merged Symposium of the International Parallel Processing Symposium and the Symposium on Parallel and Distributed Processing (IPPS/SPDP), Orlando, FL, 1998.
  • Chimenti, D., R. Gamboa et al. "The LDL System Prototype." In IEEE Transactions on Data and Knowledge Engineering, March, 1990.

Conference Organization

  • Co-chair of the 5th Conference on Interactive Theorem Proving and Related Issues (ITP), Vienna, Austria, 2014.
  • Co-chair of the 11th International Workshop on the ACL2 Theorem Prover and its Applications, Laramie, Wyoming, 2013.
  • Co-chair of the 7th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, 2007.

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