2024/07/28 更新

お知らせ

 

写真a

ガイナ ダニエル ミルチヤ
GAINA DANIEL MIRCEA
GAINA MIRCEA DANIEL
所属
マス・フォア・インダストリ研究所 准教授
理学部 数学科(併任)
数理学府 数理学専攻(併任)
マス・フォア・イノベーション連係学府 (併任)
職名
准教授
連絡先
メールアドレス
電話番号
0928024425
プロフィール
My research is focused on algebraic specification, one of the most promising aproach to formal methods assisting the developing of software systems at several stages such as design, specification and formal verification. Algebraic specification and programming languages are rigorously based on logic, which amounts to the existence of a logical system underlying the language such that each language feature and construction can be expressed as a mathematical entity of the underlying logic.

学位

  • BSc in informatics from University of Bucharest

  • MSc in fundamentals of informatics from University of Bucharest

  • MSc in algebraic specification from Normal Superior School of Bucharest

  • PhD in information science from Japan Advanced Institute of Science and Technology

経歴

  • October 2004 - October 2006: research assistant at University of Bucharest October 2009 - July 2010: postdoctoral researcher at Japan Advanced Institute of Science and Technology August 2010 - March 2013: research assistant professor at Japan Advanced Institute of Science and Technology April 2013 - March 2017: assistant professor at Japan Advanced Institute of Science and Technology April 2017 - March 2022: assistant professor at Kyushu University April 2022 - present: associate professor at Kyushu University

研究テーマ・研究キーワード

  • 研究テーマ:Reconfigurable systems are found everywhere: software-driven medical devices (such as infusion pumps, pacemakers, imaging machines and pill cameras), intelligent transportation systems, cars, or mobile robots. They all interact with their users and the environment in which they operate. Reconfigurable systems are often used in safety-critical areas where any malfunction may cause serious injuries to human beings. The safety requirements can be fulfilled only by applying formal methods. The objective is to develop a software tool for the formal specification and verification of reconfigurable systems.

    研究キーワード:theorem proving, reconfiguration paradigm, hybrid systems, verification methodology

    研究期間: 2023年4月 - 2026年4月

  • 研究テーマ:Recent developments of computer systems have triggered a paradigm shift from standard applications with fixed resources to reconfigurable systems, i.e. applications that work in different operation modes, called configurations, and react flexibly to internal and external stimuli for optimizing their performance. Very often the operation of reconfigurable systems is safety-critical: any malfunction may result in the serious injury to people. The safety requirements can be fulfilled only by applying formal methods. The purpose is to provide a solid logic-based foundation for developing a formal method to describe reconfigurable systems and to reason formally about their properties.

    研究キーワード:reconfigurable systems, formal methods, hybrid-dynamic logics

    研究期間: 2020年4月 - 2023年4月

論文

  • Forcing and Calculi for Hybrid Logics 査読 国際誌

    Journal of the Association for Computing Machinery   67 ( 4 )   1 - 55   2020年6月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: https://doi.org/10.1145/3400294

    その他リンク: https://dl.acm.org/doi/10.1145/3400294

    リポジトリ公開URL: https://hdl.handle.net/2324/7172111

  • Forcing, Transition Algebras, and Calculi 査読 国際誌

    51st EATCS International Colloquium on Automata, Languages and Programming, ICALP 2024   2024年5月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(国際会議プロシーディングス)  

  • Omitting Types Theorem in hybrid dynamic first-order logic with rigid symbols 査読 国際誌

    Annals of Pure and Applied Logic   174 ( 3 )   2023年3月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: https://doi.org/10.1016/j.apal.2022.103212

  • Robinson consistency in many-sorted hybrid first-order logics 査読 国際誌

    Advances in Modal Logic 2022, AiML 2022, Rennes, August 22-25   2022年8月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(国際会議プロシーディングス)  

  • Lindström’s theorem, both syntax and semantics free 査読 国際誌

    Daniel Găină, Tomasz Kowalski

    32 ( 5 )   942 - 975   2022年7月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    Lindström’s theorem characterizes first-order logic in terms of its essential model theoretic properties. One cannot gain expressive power extending first-order logic without losing at least one of compactness or downward Löwenheim–Skolem property. We cast this result in an abstract framework of institution theory, which does not assume any internal structure either for sentences or for models, so it is more general than the notion of abstract logic usually used in proofs of Lindström’s theorem; indeed, it can be said that institutional model theory is both syntax and semantics free. Our approach takes advantage of the methods of institutional model theory to provide a structured proof of Lindström’s theorem at a level of abstraction applicable to any logical system that is strong enough to describe its own concept of isomorphism and its own concept of elementary equivalence. We apply our results to some logical systems formalized as institutions and widely used in computer science practice.

    DOI: https://doi.org/10.1093/logcom/exab073

  • Fraïssé-Hintikka Theorem in institutions 査読 国際誌

    Daniel Găină, Tomasz Kowalski

    30 ( 7 )   1377 - 1399   2020年10月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    We generalize the characterization of elementary equivalence by Ehrenfeucht–Fraïssé games to arbitrary institutions whose sentences are finitary. These include many-sorted first-order logic, higher-order logic with types, as well as a number of other logics arising in connection to specification languages. The gain for the classical case is that the characterization is proved directly for all signatures, including infinite ones.

    DOI: https://doi.org/10.1093/logcom/exaa042

    その他リンク: https://academic.oup.com/logcom/article-abstract/30/7/1377/5900766

  • Stability of termination and sufficient-completeness under pushouts via amalgamation 査読 国際誌

    Theoretical Computer Science   848   82 - 105   2020年9月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: https://doi.org/10.1016/j.tcs.2020.09.024

    その他リンク: https://www.sciencedirect.com/science/article/pii/S0304397520305235?via%3Dihub

  • Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

    28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019 Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, Proceedings   277 - 293   2019年8月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    DOI: 10.1007/978-3-030-29026-9_16

  • Specification and Verification of Invariant Properties of Transition Systems

    Daniel Gaina, Ionut Tutu, Adrian Riesco

    25th Asia-Pacific Software Engineering Conference, APSEC 2018 Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018   99 - 108   2018年7月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    DOI: 10.1109/APSEC.2018.00024

  • Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors 招待 査読 国際誌

    Daniel Găină

    27 ( 6 )   1717 - 1752   2017年9月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    The present article describes a method for proving Downward Löwenheim-Skolem Theorem within an arbitrary institution satisfying certain logic properties. In order to demonstrate the applicability of the present approach, the abstract results are instantiated to many-sorted first-order logic and preorder algebra. In addition to the first technique for proving Downward Löwenheim-Skolem Theorem, another one is developed, in the spirit of institution-independent model theory, which consists of borrowing the result from a simpler institution across an institution comorphism. As a result, the Downward Löwenheim- Skolem Property is exported from first-order logic to partial algebras, and from higher-order logic with intensional Henkin semantics to higher-order logic with extensional Henkin semantics. The second method successfully extends the domain of application of Downward Löwenheim-Skolem Theorem to other non-conventional logical systems for which the first technique may fail. One major application of Downward Löwenheim-Skolem Theorem is interpolation in constructor-based logics with universally quantified sentences. The interpolation property is established by borrowing it from a base institution for its constructor-based variant across an institution morphism. This result is important as interpolation for constructor-based first-order logics is still an open problem.

    DOI: 10.1093/logcom/exv018

  • Birkhoff style calculi for hybrid logics 査読 国際誌

    Formal Aspects of Computing   29 ( 5 )   805 - 832   2017年9月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s00165-016-0414-y

  • Foundations of logic programming in hybrid logics with user-defined sharing 査読 国際誌

    Theoretical Computer Science   686   1 - 24   2017年7月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.tcs.2017.04.009

  • Initial semantics in logics with constructors 査読 国際誌

    Journal of Logic and Computation   25 ( 1 )   95 - 116   2015年9月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1093/logcom/exs044

  • Proving sufficient completeness of constructor-based algebraic specifications 査読

    Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi

    Lecture Notes in Electrical Engineering   373   15 - 21   2015年1月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/978-981-10-0281-6_3

  • Foundations of logic programming in hybridised logics

    22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014 Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers   69 - 89   2015年1月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    DOI: 10.1007/978-3-319-28114-8_5

  • Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally 査読

    8 ( 3-4 )   469 - 498   2014年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    In the context of proliferation of many logical systems in the area of mathematical logic and computer science, we present a generalization of forcing in institution-independent model theory which is used to prove two abstract results: Downward Löwenheim-Skolem Theorem (DLST) and Omitting Types Theorem (OTT). We instantiate these general results to many first-order logics, which are, roughly speaking, logics whose sentences can be constructed from atomic formulas by means of Boolean connectives and classical first-order quantifiers. These include first-order logic (FOL), logic of order-sorted algebras (OSA), preorder algebras (POA), as well as their infinitary variants FOL ω1, ω, OSA ω1, ω, POA ω1, ω. In addition to the first technique for proving OTT, we develop another one, in the spirit of institution-independent model theory, which consists of borrowing the Omitting Types Property (OTP) from a simpler institution across an institution comorphism. As a result we export the OTP from FOL to partial algebras (PA) and higher-order logic with Henkin semantics (HNK), and from the institution of FOLω1, ω to PAω1, ω and HNKω1, ω. The second technique successfully extends the domain of application of OTT to non conventional logical systems for which the standard methods may fail.

    DOI: 10.1007/s11787-013-0090-0

  • On automation of OTS/CafeOBJ method 査読

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   8373   578 - 602   2014年1月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/978-3-642-54624-2_29

  • Constructor-based inductive theorem prover

    5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Proceedings   328 - 333   2013年10月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    DOI: 10.1007/978-3-642-40206-7-26

  • Interpolation in logics with constructors 査読

    Theoretical Computer Science   474   46 - 59   2013年2月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.tcs.2012.12.002

  • Constructor-based logics 査読

    Journal of Universal Computer Science   18 ( 16 )   2204 - 2233   2012年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  • Principles of proof scores in CafeOBJ 招待 査読 国際誌

    Theoretical Computer Science   464   90 - 112   2012年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.tcs.2012.07.041

  • Completeness by forcing 査読 国際誌

    Journal of Logic and Computation   20 ( 6 )   1165 - 1186   2010年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1093/logcom/exq012

  • Constructor-based institutions

    3rd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009 Algebra and Coalgebra in Computer Science - Third International Conference, CALCO 2009, Proceedings   398 - 412   2009年11月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    DOI: 10.1007/978-3-642-03741-2_27

  • Birkhoff completeness in institutions 査読 国際誌

    Logica Universalis   2 ( 2 )   277 - 309   2008年9月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s11787-008-0035-1

  • Erratum An institution-independent generalization of tarski's elementary chain theorem (Journal of Logic and Computation (2006) 16 (713-735) DOI: 10.1093/logcom/exl006) 査読

    Journal of Logic and Computation   17 ( 3 )   2007年6月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1093/logcom/exm022

  • An institution-independent proof of the Robinson Consistency Theorem 査読 国際誌

    Studia Logica   85 ( 1 )   41 - 73   2007年2月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s11225-007-9022-4

  • An institution-independent generalization of Tarski's elementary chain theorem 査読

    Journal of Logic and Computation   16 ( 6 )   2006年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1093/logcom/exl006

▼全件表示

講演・口頭発表等

  • Forcing and its applications in hybrid logics 招待 国際会議

    Section of Mathematical Sciences of the Romanian Academy, the Romanian Mathematical Society, the Simion Stoilow Institute of Mathematics of the Romanian Academy, the Faculty of Mathematics and Computer Science of the University of Bucharest  2019年7月 

     詳細を見る

    開催年月日: 2020年6月 - 2020年7月

    記述言語:英語  

    国名:ルーマニア  

    その他リンク: https://sites.google.com/view/congmatro9/home

  • Birkhoff style proof systems for hybrid-dynamic quantum logic 招待 国際会議

    Formal verification of quantum circuits/protocols/programs, Japan Advanced Institute for Science and Technology  2024年1月 

     詳細を見る

    開催年月日: 2024年1月

    記述言語:英語   会議種別:シンポジウム・ワークショップ パネル(公募)  

    国名:日本国  

  • Initiality in Hybrid-Dynamic Quantum Logic 招待 国際会議

    Cracow Logic Conference (CLoCk)  2023年6月 

     詳細を見る

    開催年月日: 2023年6月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:ポーランド共和国  

  • Robinson consistency in many-sorted hybrid first-order logics 国際会議

    Advances in Modal Logic, AiML 2022  2022年8月 

     詳細を見る

    開催年月日: 2022年8月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:フランス共和国  

  • Stability of termination under pushouts via amalgamation 国際会議

    Australian and New Zealand Industrial and Applied Mathematics  2022年2月 

     詳細を見る

    開催年月日: 2022年2月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:オーストラリア連邦  

    その他リンク: https://anziam2022.com.au

  • Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols 国際会議

    Mathematical Society of Japan  2021年9月 

     詳細を見る

    開催年月日: 2021年9月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

    その他リンク: https://www.mathsoc.jp/en/meeting/chiba21sept/

  • Stability of termination under pushouts via amalgamation

    32nd Seminar on Algebra, Logic and Geometry in Informatics (ALGI)  2021年9月 

     詳細を見る

    開催年月日: 2021年9月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  • Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols 国際会議

    The Australasian Association for Logic  2021年6月 

     詳細を見る

    開催年月日: 2021年6月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:オーストラリア連邦  

    その他リンク: https://blogs.unimelb.edu.au/logic/aal-2021/

  • Forcing and Calculi for Hybrid Logics 国際会議

    Australasian Logic Group  2020年12月 

     詳細を見る

    開催年月日: 2020年12月

    記述言語:英語  

    国名:日本国  

  • Specification and Verification of Invariant Properties of Transition Systems 国際会議

    25th Asia-Pacific Software Engineering Conference (APSEC 2018)  2018年12月 

     詳細を見る

    開催年月日: 2020年11月

    記述言語:英語  

    国名:日本国  

  • Forcing and Calculi for Hybrid Logics

    31st Seminar on Algebra, Logic and Geometry in Informatics (ALGI)  2020年9月 

     詳細を見る

    開催年月日: 2020年9月

    記述言語:英語  

    国名:日本国  

    その他リンク: https://sites.google.com/site/algimeeting/home/31/program

  • Specification and Verification of Invariant Properties of Transition Systems 招待 国際会議

    Working Formal Methods Symposium (FROM 2017)  2017年7月 

     詳細を見る

    開催年月日: 2020年7月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:ルーマニア  

    その他リンク: http://unibuc.ro/~conference/from2017/#2

  • Horn Clauses in Hybrid-Dynamic First-Order Logic

    The 15th Theorem Proving and Provers meeting (TPP 2019)  2019年11月 

     詳細を見る

    開催年月日: 2019年11月

    記述言語:英語  

    国名:日本国  

    その他リンク: https://akihisayamada.github.io/tpp2019/

  • Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

    The 18th Logic and Computation Seminar  2019年11月 

     詳細を見る

    開催年月日: 2019年11月

    記述言語:英語  

    国名:日本国  

    その他リンク: https://lcseminar.wordpress.com/2019/11/12/lcseminar18/

  • Mathematical structures for developing reconfigurable systems 国際会議

    La Trobe - Kyushy Joint Seminar on Mathematics for Industry  2017年5月 

     詳細を見る

    開催年月日: 2017年5月

    記述言語:英語  

    国名:日本国  

▼全件表示

Works(作品等)

所属学協会

  • 日本数学会

学術貢献活動

  • Program Committee member 国際学術貢献

    International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols FAVPQC 2022  ( Madrid Spain ) 2022年10月

     詳細を見る

    種別:大会・シンポジウム等 

  • 学術論文等の審査

    役割:査読

    2022年

     詳細を見る

    種別:査読等 

    国際会議録 査読論文数:1

    国内会議録 査読論文数:3

  • 学術論文等の審査

    役割:査読

    2021年

     詳細を見る

    種別:査読等 

    国際会議録 査読論文数:1

    国内会議録 査読論文数:3

  • Programme Committee member 国際学術貢献

    8th Conference on Algebra and Coalgebra in Computer Science CALCO 2019  ( London UnitedKingdom ) 2019年6月

     詳細を見る

    種別:大会・シンポジウム等 

  • 学術論文等の審査

    役割:査読

    2019年

     詳細を見る

    種別:査読等 

    外国語雑誌 査読論文数:1

    国際会議録 査読論文数:3

    国内会議録 査読論文数:3

共同研究・競争的資金等の研究課題

  • A theorem prover for the correct development of reconfigurable systems 国際共著

    2023年4月 - 2027年4月

      詳細を見る

    担当区分:研究代表者 

  • A theorem prover for the correct development of reconfigurable systems

    研究課題/領域番号:60050  2023年 - 2026年

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

      詳細を見る

    担当区分:研究代表者  資金種別:科研費

  • Mathematical foundations for the reconfiguration paradigm 国際共著

    2020年4月 - 2024年3月

      詳細を見る

    担当区分:研究代表者 

  • Mathematical foundations for the reconfiguration paradigm

    研究課題/領域番号:12030  2020年 - 2024年

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

      詳細を見る

    担当区分:研究代表者  資金種別:科研費

  • The relationship between gaining expressive power in extending first-order logics and losing 'control' over the extension 国際共著

    2018年4月 - 2021年3月

      詳細を見る

    担当区分:研究代表者 

    The purpose of this project is to complete the work started by Lindstrom on the expressivity of first-order logic by making his result not only syntactic-free but also semantic-free in the spirit of abstract model theory.

教育活動概要

  • I have taught a variety of applied mathematical subjects such as algebraic specification, model theoretic topics for the design of specification and verification languages, or term rewriting. I organize lectures in collaboration with other universities such as La Trobe University. I also supervise graduate research students.

担当授業科目

  • 情報数学特論1

    2024年10月 - 2025年3月   後期

  • 数理科学特論19

    2024年4月 - 2024年9月   前期

  • MMA数学特論II

    2024年4月 - 2024年9月   前期

  • 数学共創概論Ⅱ

    2023年10月 - 2024年3月   後期

  • 機能数理学概論Ⅰ

    2023年10月 - 2024年3月   後期

  • MMA数学特論II

    2023年10月 - 2024年3月   後期

  • 数理科学特論19

    2023年10月 - 2024年3月   後期

  • 数学共創概論Ⅱ

    2023年10月 - 2024年3月   後期

  • 機能数理学概論Ⅰ

    2023年10月 - 2024年3月   後期

  • MMA数学特論II

    2023年10月 - 2024年3月   後期

  • 数理科学特論19

    2023年10月 - 2024年3月   後期

  • 数学創発モデリング

    2023年4月 - 2024年3月   通年

  • 数学創発モデリング

    2023年4月 - 2024年3月   通年

  • 計算数理学Ⅰ

    2023年4月 - 2023年9月   前期

  • ルベーグ積分

    2023年4月 - 2023年9月   前期

  • 計算数理学Ⅰ

    2023年4月 - 2023年9月   前期

  • ルベーグ積分

    2023年4月 - 2023年9月   前期

  • Functional Mathematics I

    2022年10月 - 2023年3月   後期

  • Functional Mathematics I

    2022年10月 - 2023年3月   後期

  • 数学共創概論Ⅱ

    2022年10月 - 2023年3月   後期

  • 機能数理学概論Ⅰ

    2022年10月 - 2023年3月   後期

  • MMA数学特論II

    2022年10月 - 2023年3月   後期

  • 数理科学特論19

    2022年10月 - 2023年3月   後期

  • 数学共創モデリング

    2022年4月 - 2023年3月   通年

  • 数学共創モデリング

    2022年4月 - 2023年3月   通年

  • Topics in Computational Mathematics I

    2022年4月 - 2022年9月   前期

  • Topics in Computational Mathematics I

    2022年4月 - 2022年9月   前期

  • Topics in Computational Mathematics I

    2022年4月 - 2022年9月   前期

  • 計算数理学Ⅰ

    2022年4月 - 2022年9月   前期

  • 計算数理学Ⅰ

    2022年4月 - 2022年9月   前期

  • 応用数学A

    2022年4月 - 2022年9月   前期

  • 機能数理学概論Ⅰ

    2021年10月 - 2022年3月   後期

  • MMA数学特論II

    2021年10月 - 2022年3月   後期

  • 数理科学特論19

    2021年10月 - 2022年3月   後期

  • 機能数理学概論Ⅰ

    2021年10月 - 2022年3月   後期

  • MMA数学特論II

    2021年10月 - 2022年3月   後期

  • 数理科学特論19

    2021年10月 - 2022年3月   後期

  • 機能数理学概論Ⅰ

    2021年10月 - 2022年3月   後期

  • MMA数学特論II

    2021年10月 - 2022年3月   後期

  • 数理科学特論19

    2021年10月 - 2022年3月   後期

  • 計算数理学Ⅰ

    2021年4月 - 2021年9月   前期

  • 応用数学A

    2021年4月 - 2021年9月   前期

  • 計算数理学Ⅰ

    2021年4月 - 2021年9月   前期

  • 応用数学A

    2021年4月 - 2021年9月   前期

  • 計算数理学Ⅰ

    2021年4月 - 2021年9月   前期

  • 応用数学A

    2021年4月 - 2021年9月   前期

  • [M2]Topics in Computational Mathematics I

    2021年4月 - 2021年9月   前期

  • [M2]計算数理学Ⅰ

    2021年4月 - 2021年9月   前期

  • MMA数学特論Ⅱ

    2020年10月 - 2021年3月   後期

  • 数理科学特論19

    2020年10月 - 2021年3月   後期

  • 機能数理学概論Ⅰ

    2020年4月 - 2020年9月   前期

  • 応用数学Ⅱ

    2020年4月 - 2020年9月   前期

  • MMA数学入門

    2020年4月 - 2020年9月   前期

  • MMA数学入門

    2020年4月 - 2020年9月   前期

  • MMA数学入門

    2020年4月 - 2020年9月   前期

▼全件表示

その他教育活動及び特記事項

  • 2023年  学友会・同好会等の指導  I am involved in organizing a soccer circle/club open to both international and Japanese students

社会貢献・国際連携活動概要

  • I am involved in research collaborations with European and Australian academics as well as with Japanese researchers.
    I organize an online seminar for the development of a software tool for the specification and verification of reconfigurable systems. My collaborators for this project are Adrian Riesco (Complutense University of Madrid) and Ionut Tutu (Institute of Mathematics of the Romanian Academy).
    I work with Tomasz Kowalski (Jagiellonian University, Poland) and Guillermo Badia (The University of Queensland) on a project where we study the relationship between gaining expressive power in extending first-order logics and losing 'control' over the extension.
    I am involved in the organization of joint research seminars with Mathematics and Statistics Department of La Trobe University.

政策形成、学術振興等への寄与活動

  • 2018年2月   Co-organized by the Institute of Mathematics for Industry at Kyushu University and La Trobe University

    Main organizer of the international “Workshop on Logic, Algebra and Category Theory”, Melbourne, February 12-16, 2018

海外渡航歴

  • 2022年8月 - 2022年9月

    滞在国名1:ルーマニア   滞在機関名1:Institute of Mathematics of the Romanian Academy

  • 2022年8月

    滞在国名1:フランス共和国   滞在機関名1:The french laboratory for research and innovation in digital science and technology (IRISA)

学内運営に関わる各種委員・役職等

  • 2023年4月 - 2024年4月   部門 Auditorium Committee member

  • 2022年4月 - 2024年4月   部門 University Archives Committee member

  • 2022年4月 - 2024年4月   部門 Secretary of International Advisory Board

  • 2022年4月 - 2024年4月   部門 Secretary of International Project Committee