Scholar
Randal Bryant
Google Scholar ID: AFgYa68AAAAJ
Carnegie Mellon University
Formal verification
binary decision diagrams
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,914
H-index
22
i10-index
52
Publications
20
Co-authors
24
list available
Contact
CV
Open ↗
Co-authors
11 total
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Somesh Jha
Lubar Chair of Computer Science, University of Wisconsin
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Manuela M. Veloso
Herbert A. Simon University Professor of Computer Science, Carnegie Mellon University
Jiří Šimša
Google
Dawn Song
Professor of Computer Science, UC Berkeley
Mihai Christodorescu
Google
