教育经历
1989.09-1990.06 华北理工大学医学院本科生。
1991.09-1995.06 东南大学社会科学系本科生。
1997.09-1997.12 江苏省省委党校法律师资班学员。
2000.09-2005.06 南京大学数学系硕博直读研究生。
工作经历
1997.07-2000.08 宿豫县委党校教师。
2005.01-2005.03 德国哈根大学访问学者,研究测度论的可计算性理论,完成博士学位论文。
2005.07-2019.04 南京信息工程大学数学与统计学院教师。
2008.02-2008.04 德国慕尼黑国防军大学、特里尔大学访问学者,研究实函数的计算模型与复杂度理论。
2011.03-2011.05 德国特里尔大学访问学者,研究概率论的可计算性理论。
2019.04-2021.12 滨江学院教师。
2022.01-至今 无锡学院教师。
教学方向
1.专业数学:数学分析,数值分析,运筹学,离散数学,数学建模
2.信息科学:信息论基础,编码理论,时间序列分析
3.计算机科学:形式语言与自动机理论,编译原理,可计算性与复杂性理论
学术成果与荣誉
项目:
[1]参与2004-2012年南京大学与德国的国际重大合作项目“数值计算及其计算复杂性的算法基础”。
论文:
[1]Yongcheng Wu and Decheng Ding.Computability of Measurable Sets via Effective Metrics.Mathematical Logic Quarterly,51,No.6,543-559(2005).
[2]Yongcheng Wu and Decheng Ding. Computability of Measurable Sets via Effective Topologies.Archive for Mathematical Logic, 45,No.2,365-379(2006).
[3]Yongcheng Wu and Klaus Weihrauch. A Computable Version of Daniell-Stone Theorem on Integration and Linear Functionals.Theoretical Computer Science, 359:28-42(2006).
[4]Decheng Ding, Klaus Weihrauch and Yongcheng Wu.AbsolutelyNon-Effective Predicates and Functions in Computable Analysis.Theory and Applications of Models of Computation. LNCS4484,595-604(2007).
[5]Klaus Weihrauch,Yongcheng Wu and Decheng Ding. Absolutely Non-Computable Predicates and Functions in Analysis.Mathematical Structures in Computer Science,2009;19(1):59-72.
[6]Yongcheng Wu.Complete Multi-Representations of Sets in a Computable Measure Space.Electronic Proceedings in Theoretical Computer Science,24:160-166(2010).
[7]Yongcheng Wu. Computability on Random Events and Variables in a Computable Probability Space.Theoretical Computer Science,460:54-69(20
著作:
[1]《应用逻辑》,丁德成,徐亚涛,吴永成,金成园译著,机械工业出版社,2007.
荣誉:
2006年学校优秀青年教师
2010年江苏省青蓝工程骨干教师