Randal Bryant Founders University Professor of Computer Science Emeritus Research Areas: Cloud computing Decision diagrams Distributed Systems Formal software verification
