男，1984年10月生于北京。

博士学位(2014)

纽约市立大学研究生院(Graduate Center, City University of New York)

计算机科学系逻辑学专业

导师：Sergei N. Artemov

论文：Self-referentiality in constructive semantics of intuitionistic and modal logics

硕士学位(2010)

清华大学

哲学系逻辑学专业

学士学位(2007)

清华大学精密仪器与机械学系

1. The Rosser Prize (最佳学生论文奖)

Symposium on Logical Foundations of Computer Science 2013

http://www.lfcs.info/lfcs13/prize.html

2. 第五届金岳霖学术奖(2010)硕士论文二等奖

3. The Yandex Award (最佳学生论文奖¯)

5th International Computer Science Symposium in Russia (2010)

http://logic.pdmi.ras.ru/∼csr/best.html

4.清华大学优秀硕士毕业生、优秀硕士论文(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)

http://www.sciencedirect.com/science/article/pii/S0168007213001188

13. Prehistoric graph in modal derivations and self-referentiality. Theory of Computing Systems

54(2) 190-210 (2014)

http://link.springer.com/article/10.1007/s00224-013-9510-z

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)

http://link.springer.com/chapter/10.1007/978-3-642-35722-029

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)

http://link.springer.com/chapter/10.1007/978-3-642-13182-038