Computer Science
Todd Millstein
Professor
- Engineering VI - Room 476
- todd@cs.ucla.edu
- (310) 825-5942
- Fax: (310) 794-5057
Faculty Information
Research and Interests
- Verified Software
- Simple and Efficient Concurrency
- Network Programming and Verification
- Probabilistic Programming
In the News
Education
PhD (2003) University of Washington
Awards and Recognition
-
- UCLA Samueli Excellence in Teaching Award - 2024
- Northrop Grumman Excellence in Teaching Award - 2016
- IEEE Micro Top Picks Selection - 2012
- ACM SIGPLAN Most Influential PLDI Paper Award - 2011
- NSF Career Award - 2006