Bryant Elected to National Academy of Engineering

Randal Bryant, Presidents Professor and Department Head, Computer Science; Professor of Electrical and Computer Engineering, has been elected as a member of the National Academy of Engineering "for contributions to symbolic simulation and logic verification." According to the National Academies website:

Election to the National Academy of Engineering is among the highest professional distinctions accorded an engineer. Academy membership honors those who have made "important contributions to engineering theory and practice, including significant contributions to the literature of engineering theory and practice," and those who have demonstrated accomplishment in "the pioneering of new fields of engineering, making major advancements in traditional fields of engineering, or developing/implementing innovative approaches to engineering education."