九州大学 研究者情報
研究者情報 (研究者の方へ)入力に際してお困りですか?
基本情報 研究活動 教育活動 社会活動
GAINA DANIEL MIRCEA(がいなだにえる みるちや) データ更新日:2022.04.06





電子メール *Internet Explorerではメールアドレスが表示されないため、他のWebブラウザ(Chrome、Safari等)をご利用ください。
ホームページ
https://kyushu-u.pure.elsevier.com/ja/persons/daniel-mircea-gaina
 研究者プロファイリングツール 九州大学Pure
電話番号
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ヶ月
活動概要
~

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。
 
 
九州大学知的財産本部「九州大学Seeds集」