Rchr
J-GLOBAL ID：200901053218480246   Update date: Sep. 09, 2022

Taniguchi Kenichi

タニグチ ケンイチ | Taniguchi Kenichi
Affiliation and department：
Former Institution /Organization Division of Software Science

About Former Institution /Organization Division of Software Science


Homepage URL  (1)： http://www-tani.ics.es.osaka-u.ac.jp/~taniguchi/
Research field  (1)： Information theory
Research keywords  (2)： Software Science ,  ソフトウェア科学
Research theme for competitive and other funds  (8)：
  • ソフトウェア/ハードウェアの設計検証支援システム
  • 分散協調システム
  • 代数的手法を用いたソフトウェア設計支援システム
  • ソフトウェアとハードウェアの設計と検証の形式的手法
  • Verification Support System for Software/Hardware Design
Show all
MISC (127)：
ｍore...
Books (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 -
Education (4)：
  • - 1970 Osaka University
  • - 1970 Osaka University Graduate School of Engineering Science
  • - 1965 Osaka University School of Engineering
  • - 1965 Osaka University Faculty of Engineering
Professional career (1)：
  • Doctor of Engineering (Osaka University)
Work history (6)：
  • 1976 - 1986 Osaka University
  • 1976 - 1986 Osaka Univ., Associate Professor
  • 1986 - - 大阪大学 教授
  • 1986 - - Osaka Univ., Professor
  • 1970 - 1976 大阪大学(基礎工学部) 助手
Show all
Awards (1)：
  • 1998 - 電子情報通信学会「情報ネットワーク研究賞」
Association Membership(s) (5)：
米国計算機学会(ACM) ,  米国電気電子学会(IEEE) ,  日本ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM