Randal Bryant Founders University Professor of Computer Science Emeritus Research Areas: Cloud computing Decision diagrams Distributed Systems Formal software verification
Matt Fredrikson Assistant ProfessorAssociate Professor Research Areas: AI Safety Formal software verification Human Robot Interaction Privacy Preserving Protocols Security and privacy
Bryan Parno Associate Professor Research Areas: Cryptography Formal software verification Network security Operating systems Security and privacy Verification
