SPLASH 2023 (series) / Steven Holtzen
Registered user since Sun 24 Dec 2017
I am an assistant professor at Northeastern University. My research focuses on programming languages, artificial intelligence, and machine learning. My goal is to design systems that make probabilistic modeling fast, accessible, and useful for solving every day reasoning tasks. Broadly my research focuses on (1) The design, implementation, and applications of probabilistic programming languages; (2) Foundations of probabilistic inference and tractable probabilistic modeling; (3) Automated reasoning and probabilistic verification.
Research interests:Machine Learning, Probabilistic Programming, Program Analysis, Computer Security
|SPLASH 2023||PC Member in OOPSLA Review Committee within the OOPSLA-track|
|Show activities from other conferences|
Using general profile