Randal Bryant

Emeritus, Computer Science, Carnegie Mellon University
Joined
July 2019

Names

Randal Bryant
, 
Randal E. Bryant

Emails

****@cs.cmu.edu (Confirmed)

Personal Links

Career & Education History

Emeritus
Computer Science, Carnegie Mellon University (cmu.edu)
2020 – Present
Full Professor
Computer Science, Carnegie Mellon University (cmu.edu)
1993 – 2020
Associate Professor
Computer Science, Carnegie Mellon University (cmu.edu)
1987 – 1993
Assistant Professor
Computer Science, Carnegie Mellon University (cmu.edu)
1984 – 1987
Assistant Professor
Computer Science, California Institute of Technology (caltech.edu)
1981 – 1984
PhD student
EECS, Massachusetts Institute of Technology (mit.edu)
1974 – 1981

Advisors, Relations & Conflicts

Coauthor
Armin Biere
2022 – Present
Coworker
Marijn Heule
2020 – Present
PhD Advisee
Joseph E. Reeves
2020 – Present
Coworker
Brian Railing
2015 – Present
Coworker
David O'Hallaron
1998 – Present

Expertise

formal verification
1984 – Present
automated reasoning
1983 – Present

Publications

Co-Authors