个人简介
招生专业
070101-基础数学
招生方向
集合论
教育背景
1985-01--1988-12 美国宾州州立大学 研究生院数学系博士
1983-08--1984-12 美国宾州州立大学 研究生院数学系硕士
1983-01--1983-05 美国俄亥俄州西储大学 计算机科学研究生
1982-03--1982-12 哈尔滨工业大学 教育部出国研究生预备部集训
1978-03--1982-01 哈尔滨工业大学 计算机科学学士
工作简历
2014-07~2016-07,中国科学院大学, 数学学院岗位教授
2007-08~2013-07,新加坡国立大学, 数学系教授
2004-09~2007-07,清华大学, 数学系教授
1999-04~2002-12,中国科学院数学研究所, 副所长
1997-11~2016-07,中国科学院数学与系统科学研究院, 研究员
1990-04~1997-11,新加坡国立大学, 数学系讲师、高级讲师
1989-08~1990-04,美国加州伯克利大学, 数学系访问研究助理
1988-09~1989-05,美国阿拉巴马州奥本大学, 数学系访问助理教授
1985-01~1988-12,美国宾州州立大学, 研究生院数学系博士
1983-08~1984-12,美国宾州州立大学, 研究生院数学系硕士
1983-01~1983-05,美国俄亥俄州西储大学, 计算机科学研究生
1982-03~1982-12,哈尔滨工业大学, 教育部出国研究生预备部集训
1978-03~1982-01,哈尔滨工业大学, 计算机科学学士
教授课程
线性代数-II-B
数理逻辑
线性代数I-B
集合论
线性代数-I-B
线性代数Ⅱ-B
奖励信息
(1) 北京市第13届教学名师, 省级, 2017
发表著作
( 1 ) 数理逻辑导引, 科学出版社, 2017-09, 第 1 作者
( 2 ) 线性代数导引, 科学出版社, 2018-09, 第 1 作者
科研项目
( 1 ) 复杂性、信息效应与价值概念, 主持, 市地级, 1998-01--2020-12
参与会议
(1)On Problems of Foundation of Economics 中国科学院大学与赫尔辛基大学数理逻辑联合研讨会 2018-10-30
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
(1) 超紧基数的一个特征, A new characterization of supercompactness and applications, Annals of Pure and Applied Logic, 2009, 第 1 作者
(2) 超完备扩张子与第一型精细结构, Supercomplete Extenders and Type 1 Mice, I, Annals of Pure and Applied Logic, 2004, 第 1 作者
(3) Q-极大模型中的P-点存在性, P--points in $Q_{\max}$ models, Annals of Pure and Applied Logic, 2003, 第 1 作者
(4) 强贝尔特性与一个等高树枝原理, Strongly Baire Trees and A Cofinal Branch Principle, Israel Journal of Mathematics, 2000, 第 1 作者
(5) 拉度猜想与第一个不可数基数上非荟萃集理想之准饱和性质, Rado's Conjecture and Presaturation of nonstationary ideal on $\omega_1$, the Journal of Symbolic Logic, 1999, 第 1 作者
(6) 射影荟萃集与强反演原理, Projective Stationary Sets and Strong Reflection Principle, the Journal of London Mathematical Society, 1998, 第 1 作者
(7) 实数序对开分划之齐一性, Homogeneity of Open Partitions of Pairs of the Reals, Trans. American Mathematical Society, 1993, 第 1 作者
(8) 实数子集的通用贝尔性质, Universally Baire Sets of Reals, Set Theory of the Continuum-MSRI Series, 1992, 第 1 作者
(9) 拉姆齐基数的一个层次结构, A Hierarchy of Ramsey Cardinals, Annals of Pure and Applied Logic, 1990, 第 1 作者
(10) 局部无界闭集、反演原理与保持荟萃特性, Local Clubs, Reflection and Preserving Stationary Sets, Proc. London Mathematical Society, 1989, 第 1 作者
学术兼职
2009-09-30-2018-10-31,Journal of Mathematical Logic, 四名执行编委之一
2007-12-30-2018-12-30,《数学学报》英文版, 数理逻辑编委
2005-01-01-2007-12-31,Association for Symbolic Logic, 理事
2002-12-31-2018-12-30,《中国科学》数学杂志, 数理逻辑编委
2000-01-01-2004-12-31,Association for Symbolic Logic, 东亚委员会主任
1999-12-31-2018-12-30,《数学学报》中文版, 数理逻辑编委