Scholar
Shaowei Cai
Google Scholar ID: mcuXqQoAAAAJ
Institute of Software, Chinese Academy of Sciences
Citations & Impact
Citations
2,878
H-index
33
i10-index
85
Publications
20
Co-authors
14
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple papers which can be found on DBLP and Google Scholar Citations. Gave several invited talks. Won numerous awards including Distinguished Paper Award at CAV 2024, Best Paper Award at CP 2024, and Best Paper Award at SAT 2021. His SAT solvers have won over 10 Gold medals in Main tracks and parallel Main tracks in SAT Competitions, with PRS winning all parallel tracks and ranking 2nd in Cloud track in SAT Competition 2023. The SMT solver Z3++ has won 'Biggest Lead' and 'Largest Contribution' in Model Validation track over all theories in SMT Competitions 2022 and 2023, particularly winning many tracks of LIA, NIA, NRA Divisions.
Research Experience
- Professor at the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences; Professor at the School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China.
Background
- Research focuses on Constraint Solving (particularly SAT, SMT, and integer programming) and formal verification, as well as their applications in industries.
Miscellany
- More information is available on his personal homepage.
