External links
- Todd Millstein publications indexed by Google Scholar
 | This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it. |
Todd Millstein | |
|---|---|
| Academic background | |
| Education | |
| Thesis | Programming Language Support for Reusable, Reliable Software Components |
| Doctoral advisor | Craig Chambers |
| Academic work | |
| Institutions | UCLA |
Todd Millstein is an American computer scientist. He is Professor of Computer Science and Chair of the Department at the UCLA Henry Samueli School of Engineering and Applied Science. [1] [2] [3]
Millstein grew up in suburban Maryland,outside of Washington D.C. Millstein received his A.B from Brown University in 1996,where he was advised by Paris Kanellakis and Pascal Van Hentenryck. [1] He attended the University of Washington for graduate studies,graduating with an M.Sc. and PhD in 2003. [4] At UW,he was advised by Craig Chambers. [5]
His research focus primarily spans software verification and reliability. He has published more than 100 original technical research papers, [6] including best paper awards at OOPSLA,PLDI,and SIGCOMM. [7] He received the 2011 Most Influential PLDI Paper Award for his 2001 paper "Automatic Predicate Abstraction of C Programs". [8] [9]
Millstein joined the faculty of the University of California,Los Angeles in 2003. He was appointed chair of the department in 2022,having previously served as vice chair for graduate studies. [2]
| | This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it. |