Sr. Research Scientist, Computer Science
Stanford University
Results: https://smt-comp.github.io/2018/results/summary-main.html Awards: sequential (seq), parallell (par)
1st place in division ALIA (all)Results: https://smt-comp.github.io/2018/results/summary-app.html Awards: parallell (par)
1st place in division QF_NIA (all)Results: https://smt-comp.github.io/2018/results/summary-ucore.html Awards: sequential (seq), parallell (par)
1st place in division QF_AUFLIA (all)