Jun Sawada graduated Kyoto University in Japan with BS and MS degrees in Mathematics. He received his Ph.D in Computer Sciences from the University of Texas at Austin for the study in formal verification of hardware, VLSI microarchitecture, theorem proving and automated deduction. In 2000, he joined IBM Austin Research Laboratory, and he is an IBM research staff member since then. At IBM, he has been involved in many chip development projects and has been involved in the Power Microprocessors and the BlueGene Supercomputers. He has also been involved in the development of formal verification technologies in IBM that have been used to assure the correctness of computer chip designs. Recently he is working on the SyNAPSE project, leading the neuromorphic hardware design team.