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