Registered user since Sat 16 Dec 2023
Name:Bohan Li
Bio:
I am currently a phd candidate at institute of software, CAS, China, supervised by Professor Shaowei Cai. My major research interest are SMT solving and Constraint Programming.
Country:China
Affiliation:Institute of Software Chinese Academy of Science
Personal website: https://douglaslee001.github.io/
GitHub: https://github.com/DouglasLee001
Contributions
Using general profile