conf.researchr.org / Steven Holtzen
![Steven Holtzen](https://conf.researchr.org/getProfileImage/stevenholtzen/db2263a6-7a88-4167-9d73-86a4d4b97fc9/small.jpg?1711466802000)
Registered user since Sun 24 Dec 2017
Name:Steven Holtzen
Bio:
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
Personal website: https://www.khoury.northeastern.edu/home/sholtzen/
Research interests:Machine Learning, Probabilistic Programming, Program Analysis, Computer Security
Contributions
2024
POPL
LAFI
- Author of A Multi-language Approach to Probabilistic Program Inference within the LAFI 2024-track
- Session Chair of Third Session (part of LAFI 2024)
- Co-chair in Program Committee within the LAFI 2024-track
- Committee Member in Organizing Committee within the LAFI 2024-track
- Session Chair of First Session (part of LAFI 2024)
- Author of Towards a Categorical Model of the Lilac Separation Logic within the LAFI 2024-track
- Session Chair of Poster and Interactive Session (part of LAFI 2024)
- Session Chair of Second Session (part of LAFI 2024)
2023
LAFI
- Session Chair of Second Session (part of LAFI 2023)
- Session Chair of Third Session (part of LAFI 2023)
- Author of New foundations for probabilistic separation logic within the LAFI 2023-track
- Co-chair of Opening Comments within the LAFI 2023-track
- Co-chair in Program Committee within the LAFI 2023-track
- Co-chair in Organizing Committee within the LAFI 2023-track
- Session Chair of First Session (part of LAFI 2023)
- Author of Bit-Blasting Probabilistic Programs within the LAFI 2023-track
- Session Chair of Poster Session (part of LAFI 2023)