杨东屏,原中国科学院软件所研究员、博士生导师。他是中国自己培养的最早得到国际承认其学术成果的数学界的逻辑学家,也是中美数理逻辑交流渠道的开拓人。杨先生长期从事可计算性理论及计算复杂性领域的研究,是第三届亚洲逻辑会秘书长,第六届亚洲逻辑会主席,并担任数理逻辑杂志《Annals of Pure and Applied Logic》的顾问编辑。多年来,杨先生在国内外重要学术期刊上发表了大量论文,多次应邀在国际会议作学术报告,访问过哈佛、麻省理工、康奈尔、海德堡等多所国际名校。http://philo.ruc.edu.cn/logic/zzn081017.htm