俞珺華，男，1984年10月生於北京，現任清華大學哲學系副教授。2007年獲清華大學精密儀器與機械學系學士學位，2010年獲該校哲學系邏輯學專業碩士學位，2014年獲紐約市立大學研究生院計算機科學系邏輯學博士學位，師從Sergei N. Artemov教授。研究方向包括Justification logic的實現方法與自指性、結構證明理論中的嵌套式相繼式演算，以及直覺主義邏輯的模態嵌入等方向。
俞珺華2014年起在清華大學哲學系任教，歷任講師、助理教授，晉升副教授並指導多名碩博研究生。其博士論文《Self-referentiality in constructive semantics of intuitionistic and modal logics》系統探討直覺主義邏輯語義自指性，相關成果發表於《Annals of Pure and Applied Logic》期刊。2013年因《Self-referentiality of Brouwer–Heyting–Kolmogorov semantics》獲邏輯基礎計算機科學研討會最佳學生論文獎，2010年獲第五屆金岳霖學術獎碩士論文二等獎。曾在全國現代邏輯學術研討會等學術活動中擔任主旨報告人。
基本介紹
- 中文名：俞珺華
- 學位/學歷：博士
- 職業：教師
- 專業方向：Justification logic
- 任職院校：清華大學
個人經歷,研究方向,學術成果,榮譽獎項,
個人經歷
博士學位(2014)紐約市立大學研究生院(Graduate Center, City University of New York)計算機科學系邏輯學專業
碩士學位(2010)清華大學哲學系邏輯學專業
學士學位(2007)清華大學精密儀器與機械學系
研究方向
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)
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)
榮譽獎項
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.清華大學優秀碩士畢業生、優秀碩士論文(2010)
