Teaching Experience

Teaching Assistant, Software Analysis
Fall 2024, Peking University
Homepage: https://xiongyingfei.github.io/SA_new/2024/
An undergraduate course on static analysis and more recent advancements in programming languages, such as program synthesis, instructed by Prof. Yingfei Xiong.