Ruben Gamboa
Professor at Kestrel Institute
Laramie, Wyoming, United States
Summary
👤
Senior🎓
Top SchoolRuben Gamboa is a software engineer and university professor with over 30 years of experience building server-side, data-intensive systems and a Ph.D. in Computer Science from UT Austin. He co-founded Logical Information Machines in 1989 and has since blended industry practice with academia, teaching a wide range of courses at the University of Wyoming while serving as department head. His technical strengths include time-series and relational databases, distributed applications, automated theorem proving, and an increasing focus on practical machine learning applications. Ruben consults and trains for industry clients like CareRight Technologies and Kestrel Institute, advising on system architecture and distributed deployment. He pairs deep research credentials with hands-on engineering—an unusual mix that lets him translate formal methods and theory into robust, production-ready systems. Based in Laramie, he continues to bridge academic inquiry and commercial delivery, often working on long-lived systems that emphasize correctness and scalability.
12 years of coding experience
28 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at The University of Texas at AustinM.C.S., Computer Science, M.C.S., Computer Science at Texas A&M UniversityMaster of Science (Astronomy), Astronomy, Master of Science (Astronomy), Astronomy at Swinburne University of TechnologyB.S., Computer Science, B.S., Computer Science at Angelo State University
Spanish
Github Skills (21)
rewriting10
sat-solver10
formal-verification10
common-lisp10
first-order-logic10
logic10
proof-assistant9
formal-methods9
coq9
theorem-proving9
directory-structure5
new-project4
mojolicious3
machine-learning1
kubernetes1
Programming languages (3)
Github contributions (5)
rubengamboa/python-projects-data-science
Apr 2017 - Sep 2020
Contributions:2 PRs, 4 pushes, 2 branches in 3 years 6 months
pythonsciencedata-sciencemachine-learningpandas
UWyo-COSC/abet-course-assessment-reports
May 2016 - Jul 2025
Contributions:33 pushes, 2 branches in 9 years 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.