Speaker
Shaowei Cai
Shaowei Cai is a Professor at Institute of Software, Chinese Academy of Sciences, leader of the Constraint Solving group. He received his PhD degree from Peking University with Distinguished Doctoral Dissertation Award. His research interests include constraint solving and formal methods. Particularly, he has regularly won Gold/Silver medals in recent SAT Competitions, including 5 Gold medals in Parallel tracks won by the PRS solver in his team. The SMT solvers Z3++ and Parti-Z3++ has won “largest contribution” award and “largest leading” awards in Model Validation track and Cloud track in SMT Competitions. He has received the Best/Distinguished Paper Award at SAT 2021, CP 2024 and CAV 2024. He has given tutorials at FMCAD and SoCS conferences.
More information:
Talks at this event:
| Fri, 9:00 | Advances on SAT and SMT Solving |
| Fri, 11:00 | Advances on SAT and SMT Solving |