Masahiro Fujita

University of Tokyo

Masahiro Fujita received his Ph.D. degree in Engineering from the University of Tokyo in 1985 and soon joined Fujitsu Laboratories Ltd. From 1993 to 2000, he was assigned to Fujitsu's US research office where he directed the CAD research group. In March 2000, he joined the department of Electronic Engineering in the University of Tokyo as a professor. He has written over 100 technical papers on all aspects of logic design CAD and received several awards from major Japanese scientific societies on his works in formal verification and logic synthesis. His Ph.D. thesis, written in early 1980's, was on model checking.