Brighten Godfrey

Dr. Brighten Godfrey has conducted research in networked systems and algorithms for more than a decade; his work has led to the development of novel architectures and systems for Internet routing, data-center networking, high-performance data transport and network data-plane verification. He has also advanced the theoretical analysis of network algorithms. In 2015, Dr. Godfrey received the ACM SIGCOMM Rising Star Award in recognition of outstanding research contributions, including contributions to network verification. Dr. Godfrey was awarded the Alfred P. Sloan Research Fellowship in 2014 and has also received the University of Illinois at Urbana-Champaign (UIUC) Dean’s Award for Excellence in Research and the National Science Foundation CAREER Award. He was a Beckman Fellow at the UIUC Center for Advanced Study in 2014-2015 and has served as program committee chair of several academic conferences. Dr. Godfrey continues to advise young researchers in his role as associate professor of computer science at UIUC and is co-instructor of a popular Coursera course, Cloud Networking. He holds a Ph.D. in Computer Science from the University of California, Berkeley.

How Formal Verification Can Thwart Change-Induced Network Outages and Breaches

By Brighten Godfrey | May 26, 2016

How Formal Verification Can Thwart  Breaches Formal verification is not a new concept. In a nutshell, the process uses sophisticated math to prove or disprove whether a system achieves its desired functional specifications. It is employed by organizations that build