Dr. Klaus Ambos-Spies, professor from Heidelberg University in Germany, presented on computability to students and faculty from Computer Science and Mathematics on Nov. 1. His visit to campus allowed him to work with Dr. Xizhong Zheng, professor of Computer Science and Mathematics, on computability...
I spent ten years in Chinese universities studying mathematics, four years at Jiangsu university for a BS degree, and six years at Nanjing university for MS and Ph.D degrees. Then I worked at Nanjing University for five years, before I went to Heidelberg University, Germany.
I pursued my second Ph.D in computer science in Hagen University, Germany. Then I worked in Hagen University and Cottbus University before I moved again to US. I was in University of Cincinnati as a visiting professor for one year, and then come to Arcadia University as a full time faculty member in the Department of Computer Science and Mathematics.
My main research area is the Computability and Complexity in Analysis (CCA) which tries to bridge the solid theoretical foundation of mathematics with the computational practices in computer science.
Areas Of Focus
Computability and Computational Complexity, Mathematical Logic