ガイナダニエル

Gaina Daniel

所属機関・部署：

研究分野 (1件)：情報学基礎論

研究キーワード (6件)： Category theory , Software engineering , Term rewriting , Theorem proving , Formal methods , Logic

競争的資金等の研究課題 (2件)：

論文 (25件)：

Daniel Găină, Guillermo Badia, Tomasz Kowalski. Omitting Types Theorem in hybrid dynamic first-order logic with rigid symbols. Annals of Pure and Applied Logic. 2022. 103212-103212
Daniel Găină, Tomasz Kowalski. Lindström’s theorem, both syntax and semantics free. Journal of Logic and Computation. 2022. 32. 5. 942-975
Daniel Găină, Guillermo Badia, Tomasz Kowalski. Robinson consistency in many-sorted hybrid first-order logics. Advances in Modal Logic. 2022. 14. 407-428
Daniel Găină, Tomasz Kowalski. Fraïssé-Hintikka theorem in institutions. Journal of Logic and Computation. 2020
Daniel Găină, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. Stability of termination and sufficient-completeness under pushouts via amalgamation. Theoretical Computer Science. 2020. 848. 82-105

学歴 (4件)：

2006 - 2009 Japan Advanced Institute of Science and Technology School of Information Science PhD (in Information Science)
2005 - 2006 Normal Superior School of Bucharest Informatics Department Master of Science (in Algebraic Specifications)
2003 - 2005 University of Bucharest Faculty of Mathematics and Computer Science Master of Science (in Fundamentals of Informatics)
1999 - 2003 University of Bucharest Faculty of Mathematics and Computer Science Bachelor of Science (in Computer Science)

経歴 (5件)：

2022/04 - 現在九州大学マス・フォア・インダストリ研究所准教授
2017/04 - 2022/03 Kyushu University Institute of Mathematics for Industry Assistant professor (tenure-track)
2013/04 - 2017/03 Japan Advanced Institute of Science and Technology Research Center for Theoretical Computer Science Assistant professor
2010/08 - 2013/03 Japan Advanced Institute of Science and Technology Research Center for Software Verification Research assistant professor
2009/10 - 2010/07 Japan Advanced Institute of Science and Technology School of Information Science Postdoctoral researcher

受賞 (2件)：

2016/09 - MEXT Selected Candidate for LEADER (Leading Initiative for Excellent Young Researchers)
2009/09 - Japan Advanced Institute of Science and Technology Excellence award for PhD thesis

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

ガイナ ダニエル