• Courses I Taught in Arcadia University

  • Calculus (I, II and III)

  • Linear Algebra

  • Abstract Algebra

  • Introduction to Analysis

  • Data Structure

  • Theory of Computation

  To see my teaching in BTU Cottbus, please click HERE and my teaching in the University of Cincinnaty please click HERE.

• Office hours

2009 Spring: MW 10:00am - 11:am; THF 3:00pm - 5:00pm, or by appointment.

• Research interests

  • Computation Theory

  • Algorithmic Foundation of Numeric Computation

  • Computability and Complexity in Analysis ( CCA)

  • Mathematical Logic

  • Foundation of Mathematics.

• Cnnferences

  CCA 2010 (Seventh International Conference on Computability and Complexity in Analysis, Zhenjiang, China)

• Recent Publications

  • R. Rettinger and X. Zheng. Points on Computable Curves of Computable Lengths. MFCS 2009: 736-743.

  • R. Rettinger and X. Zheng. On the computability of the rectifiable simple curves. CCA 2009. Informatik Berichte 353-7/2009, Hagen University, 243-253.

  • X. Zheng. Classification of Computably Approximable Real Numbers Theory of Computing Systems, Vol. 43(2008), No. 3-4, 603-624.

  • X. Zheng. A hierarchy of computably enumerable reals Fundamenta Informaticae, Vol. 83 (2008), 219 - 230.

  • X. Zheng. A computability theory of real numbers CCA'08, August 21-24, Hagen, Germany 2008

  • Q. Chen, K. Su and X. Zheng. Primitive recursive real numbers.Mathematical Logic Quarterly, Vol. 53(2007), No. 4/5, 345 -- 360.

  • X. Zheng. On the hierarchy of Delta_2 real numbers, Theor.Inform. Appl. 41(2007), no.1, 3--25.

  • X. Zheng. Initially-bounded computability and hierarchy of computably enumerable sets, COCOON 07, Banff, Canada, July 16-19, 2007.

  • X. Zheng. Finitely bounded effective computability, CCA'07, June 16-18, 2007, Siena, Italy.

  • Y. Fan, D. Ding and X. Zheng. Totally d-c.e. Real Numbers, CiE 2007, Siena, Italy, June 19-23, 2007.

  • R. Rettinger and X. Zheng. A hierarchy of Turing degrees for divergence bounded computable real numbers, J. Complexity. Vol. 22 (2006), No. 6, 818-826.

  • X. Zheng, D. Lu and K. Bao. Divergence bounded computable real numbers, Theor. Comput. Sci., Vol. 351(2006), 27-38.

  • K. Su, Q. Chen, A. Sattar, W. Yue, G. Lv and X. Zheng. Verification of Authentication Protocols for Epistemic Goals via SAT Compilation, Journal of Computer Science and Technology, 21(2006), No. 6, 932 -- 943, Springer-Verlag.

  • Q. Chen, K. Su and X. Zheng. Primitive Recursiveness of Real Numbers under Different Representations, CCA 2006, Florida, USA, ENTCS 167(2007), 303--304, Elsevier.

  • K. Su, Q. Chen, X. Zheng and W. Yue. Reasoning about Knowledge by SAT Solving, CIS 2006, pp536--539, Guangzhou China, IEEE Press.

  • X. Zheng. A computability theory of real numbers. CiE 2006, 30 June - 5 July, Swansea. LNCS 3988, pp 584 -594.

A full list of my publications, can be found  here.

Here is my publication lists in DBLP and MathSciNet.