January 17, 2025
Professor Bob Brayton, pioneer in logic synthesis and formal verification, has died
EECS Professor Emeritus Robert K. Brayton has passed away. He was 91. A trained electrical engineer and mathematician, Bob Brayton was a pioneer in logic synthesis and formal verification. His career spanned multiple decades, during which he made groundbreaking contributions to the field of electrical engineering. For the first 26…