| GAINA DANIEL MIRCEA（がいな だにえる みるちや） | データ更新日：2023.11.22 |
准教授 ／
マス・フォア・インダストリ研究所
電子メール ＊Internet Explorerではメールアドレスが表示されないため、他のWebブラウザ（Chrome、Safari等）をご利用ください。
ホームページ
https://kyushu-u.elsevierpure.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ヶ月
活動概要
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.
本データベースの内容を無断転載することを禁止します。