A Tim in its natural environment.

Tim King

Software Engineer
Google Inc

About Me:
I received my B.S. from the Computer Science department at Stanford University in 2008. My honors thesis was supervised by David Dill. I received my PhD from the Computer Science department at New York University in 2014. My PhD was supervised by Clark Barrett. I was previously a post-doctoral researcher in Verimag (UJF) working with David Monniaux.

Contact Information:

Research Interests
Satisfiability modulo theories (SMT), decision procedures, software and hardware verification, saftey critical systems, automated deduction and applied logic, program analysis, and linear and mixed integer programming

Publications:Google Scholar | DBLP ]


Miscellaneous Downloads: