Thomas Dillig
Stanford University , 2010
Ph.D. , Computer Science
Bay Area
About
Thomas is a Ph.D. student at Stanford University working with Alex Aiken. Thomas received his undergraduate degree in computer science from Stanford University in 2006 and spent the summer of 2007 as a research intern in the IBM T.J. Watson Research Center. His main research interests include program analysis, formal methods and constraint solving. Most recently, Thomas has been working on new algorithms for solving the satisfiability of linear integer constraint as well as a precise and automatic analysis of arrays in C programs.
Education
Stanford University
Ph.D. , Computer Science
Class of 2010