Sr. Research Scientist, Computer ScienceStanford University
353 Jane Stanford Way,Stanford, CA, 94305, United States
https://smt-comp.github.io/2016/results/summary.html