Education
Ph.D. in information science, Graduate School of Information Science, Tohoku University, 2018
Thesis title: Formal Design of Cryptographic Hardware
Supervisors: Prof. Takafumi Aoki and Prof. Naofumi Homma
M.S. degree in information science, Graduate School of Information Science, Tohoku University, 2015
B.E. degree in engineering, Faculty of Engineering, Tohoku University, 2013
Career
Visiting Associate Professor, Research Institute of Electrical Communication, Tohoku University, 2024–present
Associate Professor, Graduate School of Informatics, Kyoto University, 2024–present
Assistant Professor, Research Institute of Electrical Communication, Tohoku University, 2018–2024
PRESTO Researcher on Computing Frontiers, Japan Science and Technology Agency, 2018–2022
Research fellow (DC2), Japan Society for the Promotion of Science, 2016–2018
Awards
Kenneth C. Smith Early Career Award in Microelectronics, Technical Committee on Multiple-Valued Logic, IEEE Computer Society, 23rd May 2017
“Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors,” in International Symposium on Multiple-Valued Logic (ISMVL), 2016.