Chong Chi Tat
Chong Chi Tat (Chinese: 莊志達; pinyin: Zhuāng Zhìdá) is University Professor and Director of the Institute for Mathematical Sciences at the National University of Singapore (NUS). His research interests are in the areas of recursion/computability theory.
Professor Chong received his BSc (with distinction) from Iowa State University and his PhD from Yale University. He began his career in University of Singapore (US), the predecessor of the National University of Singapore (NUS), as a lecturer in 1974. He was subsequently promoted to Senior Lecturer (1980–1985), Associate Professor (1985–1989) and Professor (1989–2004). Professor Chong held many administrative leadership positions including Vice Dean of Science (1985–1996); Head, Department of Information Systems and Computer Science (1993–1996); Deputy Vice Chancellor, Deputy President and Provost (1996–2004); and Head, Department of Mathematics (2006–2012). In 2004, Professor Chong was named the second University Professor of NUS, the highest honor bestowed upon a very small number of its tenured faculty members.
- Chi Tat Chong, Theodore A Slaman and Yue Yang, The inductive strength of Ramsey's Theorem for Pairs, Adv. Math. 308 (2017), 121–141.
- Chi Tat Chong, Theodore A Slaman and Yue Yang, The metamathematics of stable Ramsey’s theorem for pairs, Journal of the American Mathematical Society 27 (2014), 863-892.
- Chi Tat Chong, Theodore A Slaman and Yue Yang, Pi^1_1 conservation of combinatorial principles weaker than Ramsey’s theorem for pairs, Advances in Mathematics 230 (2012), 1060-1071.
- Chi Tat Chong and Yue Yang, The jump of a Sigma_n cut, Journal of the London Mathematical Society 75 (2007), 690—704.
- Chi Tat Chong and Yue Yang, Σ_2 induction and infinite injury priority argument. I. Maximal sets and the jump operator. Journal of Symbolic Logic 63 (1998), no. 3, 797–814.