May 5, 2003
Randal Bryant, Presidents Professor and Department Head, Computer Science; Professor of Electrical and Computer Engineering, was honored in a reception for his election to the National Academy of Engineering "for contributions to symbolic simulation and logic verification."