Robert K. Brayton (October 23, 1933 to 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 over a career spanning more than six decades.
Facts
AwardIEEE Emanuel R. Piore Award 2 Connections
In Field
Source Robert K. Brayton, Wikipedia
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Robert K. Brayton, WikipediaLead paragraph of the cited Wikipedia articleQuote, Lead paragraph of the cited Wikipedia article
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.
Sources
1. Robert K. Brayton, Wikipedia
Infobox: birth_date
October 23, 1933
Infobox: death_date
January 10, 2025
Lead paragraph, birth
October 23, 1933
Lead paragraph, death
January 10, 2025
Lead paragraph, nationality
was an American electrical engineer
In Field: Formal Methods, Infobox: known_for
Logic synthesis, formal verification, circuit simulation
View the Source2. Robert K. Brayton (Wikidata)
Wikidata alias: Robert King Brayton
Robert King Brayton
Wikidata P166: Paris Kanellakis Award
Wikidata P166 (award received): Paris Kanellakis Award.
Wikidata P166: IEEE Emanuel R. Piore Award
Wikidata P166 (award received): IEEE Emanuel R. Piore Award.
Wikidata P166: Phil Kaufman Award
Wikidata P166 (award received): Phil Kaufman Award.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.