Biography
- Education
Nanjing University, China
1987
Mathematics
PhDHagen University, Germany
1998
Computer Science
PhDBTU Cottbus, Germany
2005
Computer Science
Habilitation
- Research Interests
- Computability and Computational Complexity, Mathematical Logic
Publications
a chapter of the “Handbook on Computability and Complexity in Analysis”, Springer
Co-Author
Shaker Verlag, Aachen
Author
Studies in Logic, Vol. 5 (2012), No. 5, 1–10
Co-author
Logical Methods in Computer Science. Vol.8(3:15, 2012), 1-19
Co-author
Theory of Computing Systems Vol. 43(2008), No. 3-4, 603-624
Author
Professional Experience
Nanjing University
China
Associate Professor
Nanjing University
China
Visiting Professor
Heidelberg University
Germany
Research Assistant
Hagen University
Germany
Research Associate
Hagen
Germany
Lecturer
BTU Cottbus
Germany
Senior Lecturer
BTU Cottbus
Germany
Visiting Professor
University of Cincinnati
Cincinnati, Ohio
Assistant Professor
Arcadia University
Glenside, PA
Associate Professor
Arcadia University
Glenside, PA
Professor
Arcadia University
Glenside, PA