学习经历

本科（2006.9-2010.6）：武汉理工大学测控技术与仪器专业，获工学学士学位。

硕士（2012.9-2015.5）：华东师范大学科学技术哲学专业，获哲学硕士学位。

博士（2015.9-2020.12）：华东师范大学逻辑学专业，获哲学博士学位。

博士生访问学者（2017.3-2017.9）：（德国）海德堡大学（Heidelberg University）数学与计算机科学系

合作研究（2023.6-2023.8）：（德国）海德堡大学（Heidelberg University）数学与计算机科学系（合作专家：Prof. Dr. Kai Hauser）

讲授课程

1.本科生学科基础课程（必修）：《逻辑学》

2.本科生校通识教育核心课程（选修）：《批判性思维培养》

3.硕士生公共课（合开课程）：《语言学研究导论》（“语言与逻辑”部分）

4.硕士生专业课（合开课程）：《语言学论文选题及写作》

研究方向和兴趣

1.逻辑：直觉主义逻辑（及其交叉研究）、非主流集合论

2.哲学：逻辑哲学、数学哲学

在研项目

1.主持：教育部人文社科青年项目《直觉主义认知逻辑及其哲学意蕴研究》

2.参与：国社科重大项目《逻辑词汇的历史演进与哲学问题研究》

研究论文

1.程华清，“直觉主义逻辑的直观语义与形式语义”，思想与文化，2019年第二十四辑，第164-174页。

2.程华清，“基于构造性思想的直觉主义逻辑证明语义”，逻辑学研究，2020年第2期，第14-28页。

3.程华清，“直觉主义认知逻辑与不同程度的真”，逻辑学研究，2023年第1期，第55-67页。【被“中国人民大学书报资料中心复印报刊资料B3《逻辑》”2023年第3期全文转载（第36-43页）】

学术服务

1.逻辑与哲学读书会（微信公众号同名）（2022—至今）

2.第16届全国现代逻辑学术研讨会程序委员会（2022）

3.《逻辑学研究》期刊审稿人（2023）

联系邮箱

Huaqing_Cheng@hotmail.com