俞珺华
基本信息：
男，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/S0**1188
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-0 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)
http://link.springer.com/chapter/10.1007/978-3-642-13182-0 38