Randal Bryant
Randal E. Bryant (alizaliwa 27 Oktoba 1952) ni mwanasayansi wa kompyuta na kitaaluma alibainisha kwa utafiti wake juu ya kuthibitisha rasmi programu kidigitali.Bryant alikua mwanachama wa kituvo katika chuo kikuu cha Carnegie Mellon University kuanzia mnamo mwaka [1984]]. Alihudumu kama mwanasayansi Mkuu wa Shule ya Sayansi ya Kompyuta (SCS) katika chuo kikuu cha Carnegie Mellon kuanzia mnamo mwaka 2004 hadi 2014. Dk. Bryant alistaafu na kuwa Profesa wa Chuo Kikuu cha Waanzilishi Emeritus mnamo mwezi Juni 30, 2020.