Regular biography
Todd Millstein is a Professor in the Department of Computer Science at the University of California, Los Angeles. His research interests include Verified Software, Simple and Efficient Concurrency, Network Programming and Verification, and Probabilistic Programming. He is affiliated with the UCLA Samueli School of Engineering. Millstein's work has been recognized with several awards, including the UCLA Samueli Excellence in Teaching Award in 2024 and the Northrop Grumman Excellence in Teaching Award in 2016. He also received the NSF Career Award in 2006. His research has been featured in various media outlets, including Business Insider and GeekWire.
Scholar-generated biography
Todd Millstein is a Professor of Computer Science at UCLA, specializing in Programming Languages. His research focuses on the design and implementation of programming languages, type systems, and software verification techniques. He has contributed to the development of tools and frameworks for analyzing and verifying software correctness, including work on pluggable type systems, data provenance, and automated soundness proofs. His publications address challenges in compiler optimizations, network configuration analysis, and the verification of Android applications. Millstein's work emphasizes the intersection of programming language theory and practical software engineering, with a focus on improving reliability and security in software systems.