Profile Information

Affiliation
Associate Professor, Graduate School of Informatics, Kyoto University
Degree
PhD(Mar, 2018, Tohoku University)

J-GLOBAL ID
201801001782818516
researchmap Member ID
B000300287

Committee Memberships

  16

Major Papers

  159

Major Presentations

  13

Research Projects

  5

Other

  1
  • System and database for automatic synthesis/generation of formally-proven integer and Galois-field arithmetic circuits URL: https://www.ecsis.riec.tohoku.ac.jp/topics/amg