across programming language (especially Bayesian statistical probabilistic programming), statistical machine learning, generative... in one or more of the following: AI, machine learning, Bayesian statistics, programming languages, logic and algorithms, formal methods...