Presenter

Jun Sawada received the B.S. and M.S. degrees in mathematics from Kyoto University, Kyoto, Japan, and the Ph.D. degree in computer sciences from the University of Texas at Austin, for the study in formal verification of hardware, VLSI microarchitecture, automated theorem proving and automated reasoning. He has been a Research Staff Member at IBM Research since 2000. At IBM, he participated in many chip development projects, including the ones for Power microprocessors and BlueGene supercomputers, and pioneered the application of formal verification technologies to large scale microprocessor designs. In recent years, he has been working on neural network accelerators and system designs, and took a leading role in the development of the TrueNorth neurosynaptic chip.