Sr. Research Scientist, Computer Science
Stanford University
Results: https://smt-comp.github.io/2021/results/results-single-query Awards: sequential (seq), parallell (par), sat, unsat, 24s
1st place in division QF_Bitvec (seq, par, sat, 24s)
In division QF_FPArith:
1st place in logic QF_ABVFP (all)
1st place in logic QF_BVFP (all)
1st place in logic QF_BVFPLRA (all)
1st place in logic QF_FP (all)
Results: https://smt-comp.github.io/2021/results/results-model-validation Awards: sequential (seq), parallell (par)
1st place in division QF_Bitvec (all)Results: https://smt-comp.github.io/2021/results/results-unsat-core Awards: sequential (seq), parallell (par)
1st place in division QF_Bitvec (all)