He lives here, https://mc-stan.org/

Stan is a DSL for statistical modeling named after Stanislaw Ulam, the inventor of Monte Carlo methods. Stan's primary method of fitting models is via (Markov Chain) Monte Carlo. https://en.wikipedia.org/wiki/Stanislaw_Ulam