Dr. Randal E. Bryant
Dr. Randal E. Bryant Member
University Professor , Carnegie Mellon University
Pittsburgh, PA, United States
More Info
  • 2003
  • Computer Science & Engineering
More Info
  • 2003
  • Computer Science & Engineering
Election Citation
For contributions to symbolic simulation and logic verification.