Sr. Research Scientist, Computer Science
Stanford University
353 Jane Stanford Way,
Stanford, CA, 94305, United States
https://smt-comp.github.io/2020/results/results-single-query
1st place in division QF_ABV (all)https://smt-comp.github.io/2020/results/results-incremental
1st place in division QF_ABV (all)https://smt-comp.github.io/2020/results/results-model-validation
1st place in division QF_BV (all)https://smt-comp.github.io/2020/results/results-unsat-core
1st place in division QF_ABV (all)