Jian Fang

• About me
• My name is Jian Fang. I am a second-year Ph.D. student in Programming Language Lab (PLL) at Peking University.
• I am advised by Prof. Yingfei Xiong.
• I am interested in automated theory proving, program verfication and program synthesis.
• My Github
• See more about me.
• Blog
• 2025-03-19 unable to load connector types in kibana
• 2025-03-05 creusot 安装
• 2025-02-28 coq plugin development 1
• 2025-02-26 why3 安装