Rchr
J-GLOBAL ID:200901053218480246   Update date: Apr. 25, 2020

Taniguchi Kenichi

タニグチ ケンイチ | Taniguchi Kenichi
Affiliation and department:
Homepage URL  (1): http://www-tani.ics.es.osaka-u.ac.jp/~taniguchi/
Research field  (1): Information theory
Research keywords  (1): Software Science
Research theme for competitive and other funds  (4):
  • Verification Support System for Software/Hardware Design
  • Design of Distributed Cooperative Systems
  • Software Design Support System using Algebraic Method
  • Formal Method of Design and Verification of Software and Hardware
MISC (80):
more...
Books (1):
  • Theory of Formal Languages
    The Institute of Electronics, Information and Communication Engineers 1988
Works (2):
  • Design Verification of Hardware
    1999 -
  • Implementation of Distributed Systems
    1998 -
Education (3):
  • - 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 (4):
  • 1976 - 1986 Osaka University
  • 1976 - 1986 Osaka Univ., Associate Professor
  • 1986 - - Osaka Univ., Professor
  • 1970 - 1976 Osaka Univ., Research Assistant
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page