POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Tue 31 Oct 2023

Name:Bohan Li
Affiliation:State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, Beijing, China
Research interests:SMT, constraint solving, Local search


Show activities from other conferences

POPL 2024-profile
View general profile