Sr. Research Scientist, Computer ScienceStanford University
Publications Talks Tools Awards
https://smt-comp.github.io/2016/results/summary.html