Bryant's home (original) (raw)

Randy Bryant's Home

Name:

Randal E. Bryant

Founders University Professor of Computer Science Emeritus

with courtesy appointment in Electrical and Computer Engineering .

Publications and Presentations:

• Dave O'Hallaron and I are authors of the textbook titled Computer Systems: A Programmer's Perspective, now in its third edition. More information can be found on the CS:APP Web Page. We have ablog in which we discuss both the contents of the book and its use as a textbook.
• Check out my publication list, complete with links to electronic versions of many of the papers.
• I have a web page with copies of selected presentations
• Check out my most cited paper: ``Graph-Based Algorithms for Boolean Function Manipulation,'' IEEE Transactions on Computers, Vol. C - 35, No. 8, August, 1986, pp. 677 - 691. This version includes footnotes giving updates on some of the ideas and conjectures presented in the paper.
• As an illustration of what binary decision diagrams (BDDs) can be used for, take a look at Interesting Maps page I have created based on some recent work byDon Knuth. Pursuing graph coloring a bit further, check out my colorings of theMcGregor graph.
• I scanned a copy of my master's thesis, published in 1977 as technical report MIT-LCS-TR-188: Simulation of Packet Communication Architecture Computer Systems. It is regularly cited as one of the first publications on distributed simulation.

Personal Information:

• A brief biography: Text file
• The short version of my curriculum vitae: Adobe Acrobat | HTML]
• A separate list of publications: Adobe Acrobat | HTML]
• The full-blown version of my curriculum vitae: Adobe Acrobat | HTML] This includes publications, presentations, students, etc.
• If you visit my home office, you'll see an interesting weaving hanging on the wall created by Lois Bryant. Lois is my sister, but she's also a well-respected textile artist.
  
  This weaving is inspired by the design and application of microprocessors. The lefthand side shows the equations by which one reasons about a processor design. The center section mimics an Intel Pentium chip, and the righthand side displays the bits that the processor generates.

Classes:

• Classes Taught

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

Office:
Email: Randy dot Bryant at cs dot cmu dot edu
Assistant:
Pat Loring
Gates Center for Computer Science 8122
(Voice) 412-268-5628
Email: sawako@cs.cmu.edu

Current Graduate Students:

• Joseph Reeves (Jointly supervised by Marijn Heule)

Former Graduate Students:

• Adam Blank
• Jiri Simsa
• Hormoz Zarnani
• Shuvendu Lahiri
• Sanjit Seshia
• Amit Goel
• Miroslav Velev
• Rune Jensen (Jointly supervised by Manuela Veloso)
• Clay McDonald
• Yirng-An Chen
• Bwolen Yang
• Manish Pandey
• Alok Jain