# Todd Millstein

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Todd_Millstein
> Markdown URL: https://mediated.wiki/source/Todd_Millstein.md
> Source: https://en.wikipedia.org/wiki/Todd_Millstein
> Source revision: 1306598366
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

**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](/source/UCLA_Henry_Samueli_School_of_Engineering_and_Applied_Science).[1][2][3]

Millstein grew up in suburban [Maryland](/source/Maryland), outside of [Washington D.C.](/source/Washington,_D.C.) Millstein received his A.B from [Brown University](/source/Brown_University) in 1996, where he was advised by [Paris Kanellakis](/source/Paris_Kanellakis) and [Pascal Van Hentenryck](/source/Pascal_Van_Hentenryck).[1] He attended the [University of Washington](/source/University_of_Washington) for graduate studies, graduating with an M.Sc. and [PhD](/source/Doctor_of_Philosophy) in 2003.[4] At UW, he was advised by [Craig Chambers](/source/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]

## References

1. ["Todd Millstein"](http://web.cs.ucla.edu/~todd/). *web.cs.ucla.edu*. Retrieved 2022-11-06.

1. ["Leadership Team | Todd Millstein | UCLA Samueli School Of Engineering"](https://samueli.ucla.edu/leadership-todd-millstein/). Retrieved 2022-11-06.

1. ["Todd Millstein Named Chair of UCLA Engineering Computer Science Department | UCLA Samueli School Of Engineering"](https://samueli.ucla.edu/todd-millstein-named-chair-of-ucla-engineering-computer-science-department/). Retrieved 2022-11-06.

1. ["Todd Millstein"](https://www.intentionet.com/team/todd-millstein/). *Intentionet*. 2019-04-09. Retrieved 2022-11-06.

1. ["Todd Millstein - The Mathematics Genealogy Project"](https://mathgenealogy.org/id.php?id=82747). *mathgenealogy.org*. Retrieved 2022-11-06.

1. ["Todd Millstein wins three best paper awards"](https://newsroom.ucla.edu/dept/faculty/todd-millstein-computer-science-best-paper). *newsroom.ucla.edu*. Retrieved 2023-05-27.

1. Ball, Thomas; Majumdar, Rupak; Millstein, Todd; Rajamani, Sriram K. (May 2001), "Automatic predicate abstraction of C programs", ACM, [doi:10.1145/378795.378846](https://doi.org/10.1145/378795.378846)

1. ["Most Influential PLDI Paper Award"](https://www.sigplan.org/Awards/PLDI/). *sigplan.org*. Retrieved 2023-05-27.

---
Adapted from the Wikipedia article [Todd Millstein](https://en.wikipedia.org/wiki/Todd_Millstein) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Todd_Millstein?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.