Randal Bryant

University Professor, Computer Science Department
Office: 
9125
Gates and Hillman Centers
Email: 
bryant@cs.cmu.edu
Phone: 
(412) 268-8821
Fax: 
412-268-5497
Research Interests: 
Algorithms and Data Structures
Big Data/Data Mining
Formal Methods/Verification
Logic