Tadaaki Tanimoto

Tadaaki Tanimoto received a B.S degree from Department of Mathematics, Hokkaido University in 1993, and a M.S. degree from Department of Mathematics, Osaka University in 1995. He joined Semiconductor division of Hitachi Ltd. in 1995. He recieved a Ph.D degree from Department of Information Science and Technology, Osaka University in 2006. Now he works for Renesas Technology Corp. which is a merged company between Semiconductor division of Hitachi Ltd. and that of Mitsubishi Electric Corp. His research interests include high-level synthesis, real-time systems, formal verification, and design methodology for embedded systems.