POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
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


Show activities from other conferences

Using general profile