Li Huang

Hi, I am a lecturer in Computer Science at CUB . I finished my PhD at Constructor Institute of Technology (Schaffhausen, Switzerland) and CUB in 2025, under the supervision of Prof. Bertrand Meyer . Prior to that, I completed my bachelor's study in 2017 and master's study in 2019, both in software engineering at Sun Yat-sen University (Guangzhou, China).

My research interests center around formal verification, in particular statistical model checking, program verification, and the interplay between AI and formal verification.

My current responsibilities span lecturing and developing research that bridges software verification and learning-based techniques. These activities share a same mission: helping to shape a generation of engineers who build software with both technical excellence and ethical responsibility.