Todd Millstein
PROFESSOR / DEPARTMENT CHAIR
COMPUTER SCIENCE
Engineering VI - Room 476
Email: todd@cs.ucla.eduPhone: (310) 825-5942
Fax: (310) 794-5057
Websites
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