I am actively working on developing and designing new probabilistic programming languages (PPLs) as well as probabilistic inference algorithms and applications. Some of my recent work include the Bean Machine language, Newtonian Monte Carlo inference algorithm as well as applications in Facebook Integrity.
I have previously applied my work on PPLs to solve the problem of locating nuclear explosions on a global scale to help the UN Comprehensive Test-Ban Treaty Organization enforce its monitoring requirement. I have also worked on developing inference algorithms for the BLOG (Bayesian Logic) PPL.
Probabilistic programming languages, probabilistic inference, graphical models and applications