个人介绍
学历
博士学位(2014)
纽约市立大学研究生院(Graduate Center, City University of New York)
计算机科学系逻辑学专业
导师：Sergei N. Artemov
论文：Self-referentiality in constructive semantics of intuitionistic and modal logics
硕士学位(2010)
星空mv梦幻mv天美mv在线观看
哲学系逻辑学专业
学士学位(2007)
星空mv梦幻mv天美mv在线观看精密仪器与机械学系
所获奖励
1. The Rosser Prize (最佳学生论文奖)
Symposium on Logical Foundations of Computer Science 2013
2. 第五届金岳霖学术奖(2010)硕士论文二等奖
3. The Yandex Award (最佳学生论文奖?)
5th International Computer Science Symposium in Russia (2010)
4.星空mv梦幻mv天美mv在线观看优秀硕士毕业生、优秀硕士论文(2010)
学术兴趣
Justification logic
Realization methods, self-referentiality.
– Structural proof theory
(Nested) sequent calculi, prehistoric graph, substructural calculi.
– (sub/super) Intuitionistic logics
Modal embeddings, Visser’s BPL and FPL
研究成果
1. Closure properties of non-self-referential realizable fragments, manuscript (2015)
2. Self-referentiality of Brouwer–Heyting–Kolmogorov semantics. Annals of Pure and Applied
Logic 165(1) 371-388 (2014)
13. Prehistoric graph in modal derivations and self-referentiality. Theory of Computing Systems
54(2) 190-210 (2014)
4. Self-referentiality in the Brouwer–Heyting–Kolmogorov semantics of intuitionistic logic. In:
Artemov, S.N., Nerode, A. (eds.): Symposium on Logical Foundations of Computer Science
2013. LNCS, vol. 7734, 401-414. Springer, Heidelberg (2013)
29
5. Prehistoric phenomena and self-referentiality. In: Ablayev, F., Mayr, E.W. (eds.): International
Computer Science Symposium in Russia 2010. LNCS, vol. 6072, 384-396. Springer,
Heidelberg (2010)
38
