brief bio

Steven Holtzen is an assistant professor and programming languages researcher at Northeastern University. His research focuses on designing tools and foundations for reasoning about programs with probabilistic behavior. He received his PhD. in computer science from the University of California, Los Angeles in 2021. His work has been recognized by an ACM SIGPLAN distinguished paper award and an NSF CAREER award.