研究者

J-GLOBAL ID：200901053218480246 更新日: 2022年09月09日

谷口健一

タニグチケンイチ | Taniguchi Kenichi

所属機関・部署：
職名：教授
ホームページURL (1件)： http://www-tani.ics.es.osaka-u.ac.jp/~taniguchi/

研究分野 (1件)：情報学基礎論

研究キーワード (2件)： Software Science , ソフトウェア科学

競争的資金等の研究課題 (8件)：

ソフトウェア/ハードウェアの設計検証支援システム
分散協調システム
代数的手法を用いたソフトウェア設計支援システム
ソフトウェアとハードウェアの設計と検証の形式的手法
Verification Support System for Software/Hardware Design

全件表示

MISC (127件)：

もっと見る

書籍 (2件)：

形式言語理論(共著)
電子情報通信学会 1988
Theory of Formal Languages
The Institute of Electronics, Information and Communication Engineers 1988

Works (4件)：

ハードウェアの設計検証
1999 -
Design Verification of Hardware
1999 -
並行分散システムの実装
1998 -
Implementation of Distributed Systems
1998 -

学歴 (4件)：

- 1970 大阪大学基礎工学研究科物理系
- 1970 大阪大学
- 1965 大阪大学工学部電子工学
- 1965 大阪大学

学位 (1件)：

工学博士 (大阪大学)

経歴 (6件)：

1976 - 1986 大阪大学助教授
1976 - 1986 Osaka Univ., Associate Professor
1986 - - 大阪大学教授
1986 - - Osaka Univ., Professor
1970 - 1976 大阪大学(基礎工学部) 助手

全件表示

受賞 (1件)：

1998 - 電子情報通信学会「情報ネットワーク研究賞」

所属学会 (5件)：

米国計算機学会(ACM) , 米国電気電子学会(IEEE) , 日本ソフトウェア科学会 , 情報処理学会 , 電子情報通信学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM