学术报告(庄志达)

题目： "I want to be a scientist"

报告人：庄志达(CT Chong)
 新加坡国立大学
 University Professor

时间：12月16日（星期四）16:00

地点：蒙民伟楼109室

摘要:
This talk presents instances in the history of science, past and present, which illustrate the working and thinking of those who have dedicated their lives to the pursuit and discovery of science.

报告人简介:
庄志达(CT Chong)
1949年出生于香港。１９７３年于耶鲁大学数学系获得理学博士学位。１９８９年成为新加坡国立大学教授。曾任新加坡国立大学信息系统与计算机科学系主任，理学院副院长，新加坡国立大学常务副校长，新加坡数学会理事长，符号逻辑学会(ASL)理事会成员，执行委员，亚洲逻辑会议发起人和组织者。现任新加坡国立大学数学系主任，新加坡国立大学university professor,著名杂志journal of mathematical logic主编。
主要研究方向为数理逻辑，递归论（又称可计算性理论）及其应用。尤其在高等递归论(higher recursion theory), 一阶反推数学以及度结构理论上都有非常重要的贡献。