Michael Betancourt
Director Of Software Development at Everi Holdings Inc.
Las Vegas, Nevada, United States
Summary
🤩
Rockstar🎓
Top SchoolMichael Betancourt is a Director of Software Development with 14 years of experience building embedded systems, cloud-native pipelines, and web applications, currently leading engineering at Everi Holdings in Las Vegas. He combines deep C++ and embedded expertise from defense and aerospace projects with modern cloud and containerized tooling—having transitioned satellite downlink and image-processing systems to Kubernetes and Docker. A contributor to the high-profile Stan probabilistic programming ecosystem, he brings applied mathematics and automatic-differentiation experience to algorithmic and numerical challenges. Michael holds an MS in Computer Engineering from UCF and a BS in Computer Engineering, and surprisingly pairs his engineering rigor with a public writing presence and interests spanning physics, statistics, and geometry.
14 years of coding experience
15 years of employment as a software developer
Bachelor of Science - BS, Game Programming and Development, 4.000, Bachelor of Science - BS, Game Programming and Development, 4.000 at Southern New Hampshire UniversityBachelor of Science - BS, Computer Engineering, 3.461, Bachelor of Science - BS, Computer Engineering, 3.461 at University of MiamiMaster of Science - MS, Computer Engineering, 3.625, Master of Science - MS, Computer Engineering, 3.625 at University of Central Florida
Stackoverflow
21reputation
9kreached
1answer
0questions
Github Skills (26)
c-language10
r10
mathematics10
automatic-differentiation10
mcmc10
bayesian10
numerical-methods10
stan10
cprogramming-language10
bayesian-inference10
bayesian-statistics9
math9
eigen9
boost9
rcpp9
Programming languages (9)
Github contributions (5)
stan-dev/math
Jul 2015 - Mar 2017
The Stan Math Library is a C++ template library for automatic differentiation of any order using forward, reverse, and mixed modes. It includes a range of built-in functions for probabilistic modeling, linear algebra, and equation solving.
Role in this project:
Back-end Developer & Applied Mathematician
Back-end Developer & Applied MathematicianContributions:41 commits, 6 PRs, 24 pushes in 1 year 7 months
Contributions summary:Michael contributed to the Stan Math Library, a C++ template library focused on automatic differentiation. Their work involved updating the `beta_cdf` function to utilize improved incomplete beta derivatives, and they also began extending the ODE code to incorporate CVode functionality, including implementing banded Jacobians. Their contributions indicate a focus on numerical methods, optimization, and potentially algorithm development.
automatic-differentiationprobabilistic-modelingsundialsmodestemplate-library
stan-dev/rstan
Dec 2012 - Apr 2013
RStan, the R interface to Stan
Role in this project:Back-end Developer
Back-end DeveloperContributions:9 commits, 25 comments, 2 issues in 3 months
Contributions summary:Michael's commits primarily involve modifications to the RStan package, particularly within the `rstan/rstan/inst/include/rstan/stan_fit.hpp` and `rstan/rstan/R/stanfit-class.R` files. These changes include updates to the sampling process, adaptation parameters, and class definitions related to the Stan model fitting process. The contributions seem to be focused on refactoring and enhancing the integration of Stan models with the R interface, encompassing improvements to the core functionality and sampling procedures.
r-packagebayesian-inferencestanrstanrstats
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.