Sr. Research Scientist, Computer Science
Stanford University
Results: https://smt-comp.github.io/2020/results/results-single-query Awards: sequential (seq), parallell (par), sat, unsat, 24s
1st place in division QF_ABV (all)Results: https://smt-comp.github.io/2020/results/results-incremental Awards: parallell (par)
1st place in division QF_ABV (all)Results: https://smt-comp.github.io/2020/results/results-model-validation Awards: sequential (seq), parallell (par)
1st place in division QF_BV (all)Results: https://smt-comp.github.io/2020/results/results-unsat-core Awards: sequential (seq), parallell (par)
1st place in division QF_ABV (all)