Steve Holtzen
Steve Holtzen
Steve Holtzen
Steve Holtzen
Research Interests
- Artificial intelligence
- Programming languages
- Formal methods
Education
- PhD in Computer Science, UCLA
- MS in Computer Science, UCLA
- BS in Computer Science, UCLA
Pronouns
He/him/his
Biography
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.
Research Interests
- Artificial intelligence
- Programming languages
- Formal methods
Education
- PhD in Computer Science, UCLA
- MS in Computer Science, UCLA
- BS in Computer Science, UCLA
Pronouns
He/him/his
Biography
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.
Recent Publications
Recent Publications
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...