Yoshihito Nishizaki is an author at University of California, Berkeley specializing in formal verification, computer engineering, and field-programmable gate arrays.