Robert K. Brayton

Robert King Brayton
Born(1933-10-23)October 23, 1933
Ames, Iowa, U.S.
DiedJanuary 10, 2025(2025-01-10) (aged 91)
Berkeley, California, U.S.
Alma materIowa State University (BSEE), Massachusetts Institute of Technology (Ph.D.)
Known forLogic synthesis, formal verification, circuit simulation
SpouseRuth B. Brayton
Children3
AwardsACM Paris Kanellakis Award, IEEE Emanuel R. Piore Award, IEEE CAS Technical Achievement Award, EDAA Lifetime Achievement Award, Phil Kaufman Award, National Academy of Engineering, IEEE Fellow, AAAS Fellow
Scientific career
FieldsElectrical engineering, computer science
InstitutionsIBM T. J. Watson Research Center, University of California, Berkeley
Doctoral advisorNorman Levinson
Notable studentsSharad Malik
Websitewww2.eecs.berkeley.edu/Faculty/Homepages/brayton.html

Robert K. Brayton (October 23, 1933 – January 10, 2025) was an American electrical engineer, mathematician, and professor emeritus in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He worked in logic synthesis, formal verification, and electronic design automation (EDA), with a career spanning over six decades.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.