Steven Holtzen

Registered user since Sun 24 Dec 2017

Name:Steven Holtzen

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.

Country:United States
Affiliation:Northeastern University
Research interests:Machine Learning, Probabilistic Programming, Program Analysis, Computer Security


PLDI 2022 (OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs
Committee Member in PLDI within the PLDI-track
Session Chair of Special Effects (part of SIGPLAN Track)
Show activities from other conferences

PLDI 2022-profile
View general profile