教育与工作经历
2000-2005南京大学数学系研究生，学习数理逻辑与理论计算机科学，硕士阶段研究模态逻辑、缺省逻辑，博士阶段研究高精度计算与可计算分析理论。
2005.1-3德国哈根大学访问学者，研究测度论的可计算性理论，完成博士学位论文。
2005-2019南京信息工程大学数学与统计学院教师，讲授信息论、编码理论、编译原理、形式语言与自动机、高等数学、线性代数、概率统计。研究概率论的可计算性理论、模糊逻辑、量子计算。
2008.2-4德国慕尼黑国防军大学、特里尔大学访问学者，研究实函数的计算模型与复杂度理论。
2011.3-5德国特里尔大学访问学者，研究概率论的可计算性理论。
2019-至今 william威廉中文（南京信息工程大学滨江学院）理学院教师，讲授数值分析、运筹学、高等数学。研究自然语言的机器学习与理解，数学专业建设与发展。
主要项目、论文、专著和专利
项目：
[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. Absolutely Non-Effective Predicates and Functions in Computable Analysis. Theory and Applications of Models of Computation. LNCS 4484,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(2012).
著作：
[1]《应用逻辑》，丁德成，徐亚涛，吴永成，金成园译著，机械工业出版社, 2007.
研究领域与方向
1.计算理论.研究高精度计算模型.计算软件的可靠性是一个关乎军事和金融安全的重大问题。目前几大计算软件包括matlab、mathematica都采用固定精度的计算模式，不能保证获得可靠的计算结果，高精度计算模型的目标是克服这个缺陷。与常规数值算法的区别在于，采用精准的数值表示，并且能自动控制计算过程误差。作为一种新兴的计算模式，有许多理论问题亟待解决，其中包括为大量的经典方法设计精准算法。我们在这个课题上的研究始于2005年，初步形成有关基础理论和精准算法，在国际SCI、SCIE和EI检索期刊上发表6篇论文，并与来自德国、美国的同行专家保持合作关系。
2.计算智能.研究人工智能的底层计算模型，包括人工神经网络、模糊计算、遗传计算、群体智能等等研究领域。
上述研究方向与数学专业课程密切相关，包括数值分析、运筹与优化、概率论、数理统计、随机过程等等，有助于形成产学研结合、培养学生创新与实践能力的专业课程群。
