![Steven Holtzen](https://s32615.pcdn.co/wp-content/uploads/2021/09/Steven_Holtzen_006_hero-desktop-scaled.jpg)
![Need to add an ALT text field to the CMS for the Hero Image](https://s32615.pcdn.co/wp-content/uploads/2021/09/Steven_Holtzen_006_hero-mobile.jpg)
Steve Holtzen
![Steven Holtzen](https://s32615.pcdn.co/wp-content/uploads/2021/09/Steven_Holtzen_006_hero-desktop-scaled.jpg)
![Steven Holtzen](https://s32615.pcdn.co/wp-content/uploads/2021/09/Steven_Holtzen_006_hero-mobile.jpg)
He/him/his
Steve Holtzen is an assistant professor at the Khoury College of Computer Sciences at Northeastern University. His research—which lies at the intersection of artificial intelligence, machine learning, and programming languages—focuses on systems of probabilistic modeling and reasoning.
Before joining Khoury College in 2021, Holtzen earned his doctorate in computer science from UCLA, where he worked as a research assistant. At the same time, he served on the technical staff at the cyber data analytics department at Sandia National Laboratories.
At Northeastern, Holtzen’s research aims to design systems that make probabilistic modeling fast, accessible, and useful for solving everyday reasoning tasks. He tackles automated reasoning, probabilistic verification, probabilistic inference, tractable probabilistic modeling, and probabilistic programming languages. Holtzen teaches courses in artificial intelligence, programming languages, and machine learning, and is affiliated with the Programming Research Laboratory.
Holtzen was named Outstanding Graduating PhD Student by the UCLA Computer Science Department and won the ACM SIGPLAN Distinguished Paper Award at OOPSLA 2020. He has also published recently at UAI, ICML, CAV, and ASPLOS.
He/him/his
Steve Holtzen is an assistant professor at the Khoury College of Computer Sciences at Northeastern University. His research—which lies at the intersection of artificial intelligence, machine learning, and programming languages—focuses on systems of probabilistic modeling and reasoning.
Before joining Khoury College in 2021, Holtzen earned his doctorate in computer science from UCLA, where he worked as a research assistant. At the same time, he served on the technical staff at the cyber data analytics department at Sandia National Laboratories.
At Northeastern, Holtzen’s research aims to design systems that make probabilistic modeling fast, accessible, and useful for solving everyday reasoning tasks. He tackles automated reasoning, probabilistic verification, probabilistic inference, tractable probabilistic modeling, and probabilistic programming languages. Holtzen teaches courses in artificial intelligence, programming languages, and machine learning, and is affiliated with the Programming Research Laboratory.
Holtzen was named Outstanding Graduating PhD Student by the UCLA Computer Science Department and won the ACM SIGPLAN Distinguished Paper Award at OOPSLA 2020. He has also published recently at UAI, ICML, CAV, and ASPLOS.