Rchr
J-GLOBAL ID：201801004311620758
Update date: Feb. 01, 2024
Gaina Daniel
Gaina Daniel
Affiliation and department：
Research field (1)：
Information theory
Research keywords (6)：
Category theory
, Software engineering
, Term rewriting
, Theorem proving
, Formal methods
, Logic
Research theme for competitive and other funds (2)：
- 2020 - 2024 Mathematical foundations for the reconfiguration paradigm
- 2011 - 2016 Development of the Innovative Specification Verification System based on Proof Scores
Papers (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
ｍore...
Education (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)
Work history (5)：
- 2022/04 - 現在 Kyushu University Institute of Mathematics for Industry Associate professor
- 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
Awards (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
Return to Previous Page
