Randy Bryant's Home


Name:
Randal E. Bryant
University Professor of Computer Science
with courtesy appointment in Electrical and Computer Engineering .
Publications and Presentations:

Personal Information:

Classes:

Mailing Address:
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, Pennsylvania 15213-3891 USA

Office:
Gates Center for Computer Science 9125
(Voice) 412-268-8821
(FAX) 412-268-5497
Email: CLICK HERE@cs.cmu.edu (Spam blocking provided by the reCAPTCHA Project).

Assistant:
June Fischerkeller
Gates Center for Computer Science 5111
(Voice) 412-268-7884
(FAX) FAX: 412-268-5497
Email: CLICK HERE@cs.cmu.edu
Projects:
UCLID project home page.
Current Graduate Students:

Former Graduate Students: