Tim King

Post-Doctoral Researcher
Verimag

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 am currently a post-doctoral researcher in Verimag (UJF) working with David Monniaux.