Han Su

Han Su is a researcher affiliated with the Institute of Software at the Chinese Academy of Sciences and the University of Chinese Academy of Sciences. Their research focuses on theoretical aspects of probabilistic programming, particularly analyzing lower bounds and divergence in such systems.

• Institute of Software, Chinese Academy of Sciences
• University of Chinese Academy of Sciences

Han Su's work intersects computer science, formal methods, and algorithmic analysis, targeting challenges in probabilistic program verification. Their 2023 contribution at SPLASH explores computational complexity and divergence in probabilistic programs.

As a committee member for the 2025 ATVA conference's artifact evaluation and an author in the OOPSLA track at SPLASH 2023, Han Su actively participates in academic peer review and dissemination of research.