Our website uses cookies to understand how you navigate our content and to give you the best browsing experience.
Please read our Data Protection & Use Notification to learn more.
Our website uses cookies to understand how you navigate our content and to give you the best browsing experience.
Please read our Data Protection & Use Notification to learn more.
Nov 9, 2018 • Caitlin Burns
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.
Computability and Computational Complexity, Mathematical Logic
Hometown
Jiangsu
Home Country
China
Languages
English, German, Chinese
Nanjing University, China 1987
PhD, Major in Mathematics
Hagen University, Germany 1998
PhD, Major in Computer Science
BTU Cottbus, Germany 2005
Habilitation, Major in Computer Science
Co-Author
Contribution to book, a chapter of the "Handbook on Computability and Complexity in Analysis", Springer
Co-Authored with R. Rettinger
Author • 2007
Book, Shaker Verlag, Aachen
Co-author • 2012
Research Paper, Studies in Logic, Vol. 5 (2012), No. 5, 1–10
Co-Authored with D. Abdul-Malak and M. Gillespie
Co-author • 2012
Research Paper, Logical Methods in Computer Science. Vol.8(3:15, 2012), 1-19
Co-Authored with R. Rettinger
Author • 2008
Research Paper, Theory of Computing Systems Vol. 43(2008), No. 3-4, 603-624