Rchr
J-GLOBAL ID：201801004311620758
Update date: Jul. 02, 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 (3)：
- 2023 - 2027 A theorem prover for the correct development of reconfigurable systems
- 2020 - 2024 Mathematical foundations for the reconfiguration paradigm
- 2011 - 2016 Development of the Innovative Specification Verification System based on Proof Scores
Papers (27)：
-
Daniel Găină. Birkhoff style proof systems for hybrid-dynamic quantum logic. Advances in Modal Logic, AiML 2024. 2024
-
Hashimoto Go, Daniel Găină, Ionuţ Ţuţu. Forcing, Transition Algebras, and Calculi. 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). 2024. 297. 143:1-143:17
-
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. 2023. 174. 3. 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
ｍ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
