Rchr
J-GLOBAL ID:200901004438606924   Update date: Nov. 03, 2020

Hamaguchi Kiyoharu

ハマグチ キヨハル | Hamaguchi Kiyoharu
Affiliation and department:
Job title: 教授
Research field  (1): Information theory
Research keywords  (2): 計算機援用設計技術 ,  computer aided design
Research theme for competitive and other funds  (2):
  • 論理設計の形式的検証に関する研究
  • Study on Formal Verification of Logic Design
Papers (17):
MISC (20):
more...
Books (2):
  • プレパラータ先生の超並列計算講義
    共立出版社 1996
  • Lectures on Parallel Computation
    1996
Works (3):
  • 高位ハードウェア設計記述に対する等価性判定手法の研究
    2004 -
  • 高位ハードウェア設計記述に対する等価性判定手法の研究
    2004 -
  • 設計資産間のインターフェースに関する仕様記述と検証技術に関する研究
    2002 -
Education (2):
  • - 1989 Kyoto University
  • - 1987 Kyoto University
Professional career (1):
  • Dr. of Engineering (Kyoto University)
Work history (8):
  • 2018/04 - 現在 Shimane University
  • 2012/04 - 2018/03 Shimane University Interdisciplinary Faculty of Science and Engineering Department of Mathematics and Computer Science
  • 1999/11 - 2012/03 Osaka University Graduate School of Information Science and Technology
  • 1996 - 1999 Osaka University
  • 1994 - 1996 京都大学 講師
Show all
Awards (2):
  • 2001 - 情報・システムソサイエティ論文賞
  • 1996 - 山下記念研究賞
Association Membership(s) (8):
Association for Comuting Machinery ,  The Institute of Electrical and Electronics Engineering Inc. ,  電子情報通信学会 ,  情報処理学会 ,  IPSJ ,  IEICE ,  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