B9937174: "received ... academic degrees from the University of Tokyo ... a B.S. in Electrical Engineering ... an M.S. ... and a Ph.D. in Information Engineering ... Currently, he is manager of VLSI CAD research at Fujitsu Laboratories of America ... He is an Assosiate Editor of the IEEE Transactions on Computer-Aided Design and Formal Methods on Systems Design. His primary interest is ... especially logic synthesis and verification."