Todd Millstein

Todd Millstein

PROFESSOR / DEPARTMENT CHAIR
COMPUTER SCIENCE

Engineering VI - Room 476

Email: todd@cs.ucla.edu
Phone: (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