Todd Millstein

Todd Millstein

PROFESSOR/VICE CHAIR OF GRADUATE STUDIES
COMPUTER SCIENCE

Engineering VI - Room 476

Email:
Phone: (310) 825-5942
Fax: (310) 794-5057

Websites

RESEARCH AND INTERESTS
  • Verified Software
  • Simple and Efficient Concurrency
  • Network Programming and Verification
  • Probabilistic Programming
EDUCATION
PhD (2003) University of Washington
AWARDS AND RECOGNITION
  • NSF Career Award - 2006
  • ACM SIGPLAN Most Influential PLDI Paper Award - 2011
  • IEEE Micro Top Picks Selection - 2012
  • Northrop Grumman Excellence in Teaching Award - 2016