Computer, Intelligence and Media Technology
[Master's Program] Computer Science and Intelligent Systems
[Doctoral Program] Systems Innovation Engineering
March 1999: Completed Doctoral Program of Electrical and Information Engineering, Graduate School of Engineering, Gunma University
April 1999 - March 2000: Research Assistant, Department of Electrical and Electronic Engineering, Faculty of Engineering, Ashikaga Institute of Technology
April 2000 - March 2001: Lecturer, Department of Electrical and Electronic Engineering, Faculty of Engineering, Ashikaga Institute of Technology
April 2001 - March 2009: Lecturer, Department of Computer and Information Sciences, Faculty of Engineering, Iwate University
April 2009 - present: Lecturer, Department of Electrical Engineering and Computer Science, Faculty of Engineering, Iwate University
My Areas of Research
High-Level and Logic Synthesis, Logic Optimization Algorithms, and Testing for VLSIs
Digital circuits were designed manually by engineers in the past, but they are now synthesized automatically by computers. Therefore, the performance of the automatic synthesis software significantly affects the quality of the resulting circuits. To design modern vary-large-scale digital circuits efficiently, novel synthesis software, or algorithm, is required. To cope with the need, I am engaged in developing synthesis algorithms exploiting exclusive-OR (EXOR) gates. By combining the properties of EXOR operation and the branch-and-bound strategy, I have successfully developed the world's first algorithm that can synthesize exact minimum AND-EXOR circuits for some practical functions.
My Teaching Philosophy
I like to teach computer science as well as state-of-the-art technologies of computer hardware and software. Through the education in the IT field, I want to give students the motivation for working as IT professionals. I always encourage students to develop their skills and to contribute not only to the community but also to the world in the future.