九州大学-研究者情報 [GAINA DANIEL MIRCEA (准教授) マス・フォア・インダストリ研究所 ]

GAINA DANIEL MIRCEA（がいなだにえるみるちや）

データ更新日：2022.04.06

准教授　／　マス・フォア・インダストリ研究所

電子メール＊Internet Explorerではメールアドレスが表示されないため、他のWebブラウザ（Chrome、Safari等）をご利用ください。

ホームページ

https://kyushu-u.pure.elsevier.com/ja/persons/daniel-mircea-gaina
　研究者プロファイリングツール　九州大学Pure

http://imi.kyushu-u.ac.jp/~daniel/

電話番号

092-802-4425

FAX番号

092-802-4405

取得学位

PhD in information science from Japan Advanced Institute of Science and Technology, MSc in algebraic specification from Normal Superior School of Bucharest, MSc in fundamentals of informatics from University of Bucharest, BSc in informatics from University of Bucharest

学位取得区分(国外)

あり

専門分野

Logic, Formal Methods, Category Theory

ORCID(Open Researcher and Contributor ID)

0000-0002-0978-2200

外国での教育研究期間(通算)

10ヶ年00ヶ月

活動概要