Millstein joined UCLA in 2003 and conducts research on software verification, network programming and verification, and probabilistic programming. He regularly teaches an undergraduate course, Principles and Practices of Computing; a graduate-level course, Types and Programming Languages; as well as a graduate research seminar that explores current topics in programming languages and systems.
Prior to assuming his new role, Millstein served as the department’s vice chair for graduate studies. He has been the advisor or co-advisor to 10 Ph.D. graduates, one postdoctoral scholar and currently supervises five Ph.D. students.
Among Millstein’s many accolades are a National Science Foundation CAREER Award in 2006, an IBM Faculty Award in 2008, the Most Influential Programming Language Design and Implementation Paper Award in 2011, an Institute of Electrical and Electronics Engineers Micro Top Picks selection in 2012, a Microsoft Research Outstanding Collaborator Award in 2016 and an Okawa Foundation Research Grant in 2016. In 2020, Millstein received distinguished paper awards at three Association for Computing Machinery conferences.
He has also been recognized for his outstanding teaching, receiving UCLA Samueli’s school-wide Northrop Grumman Excellence in Teaching Award in 2016.
Millstein has been an academic visitor at Oxford University, a visiting researcher at Microsoft Research and a visiting fellow at Princeton University. Millstein is also a co-founder and chief scientist of Intentionet, a networking technology startup.
He received a Ph.D. from the University of Washington and a bachelor’s degree from Brown University.