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-5576
Email: CLICK HERE@cs.cmu.edu (Spam blocking provided by the reCAPTCHA Project).

Assistant:
Pat Loring
Gates Center for Computer Science 8122
(Voice) 412-268-5628
Email: sawako@cs.cmu.edu
Projects:
UCLID project home page.
Current Graduate Students:

Former Graduate Students: