|
Todd Millstein
UCLA Computer Science Department | |||
CS231:
Types and Programming Languages,
Fall 2009.
CS239: SAT-based Program Analysis and Verification,
Spring
2009.
CS132: Compiler Construction, Winter 2009.
Graduated:
Brian Chin, Ph.D. 2009, now at Google
Ramakrishna Gummadi,
Ph.D. 2007 (USC), now Assistant Professor at UMass Amherst
Shane Markstrum,
Ph.D. 2009, now Assistant Professor at Bucknell University
Alex Warth, Ph.D. 2009,
now a researcher at Viewpoints Research Institute
PC Member, PLAS 2010
Before joining UCLA, I was a graduate student in the University of Washington Department of Computer Science. I was a member of the Cecil group, led by Craig Chambers. Before that, I was an undergraduate at Brown University, where I was advised by Paris Kanellakis and Pascal Van Hentenryck.