-
Columbia University
Posted 3 years, 5 months ago
I’m starting a research team at Columbia University. Please get in touch if you are interested in working in an academic environment at the cutting edge of probabilistic programming, causal inference, program synthesis and machine learning. All leve…
Tech Stack
Automated / interactive theorem proving Technical writing Grant writing The Julia programming language Machine learning Probabilistic programming Bayesian inference Model based and model free planning and reinforcement learning Compilers and program analysis Structural causal modeling Program synthesis