Professor George Varghese delivered a keynote speech in IFIP Networking 2020 titled “Network Verification: When Clarke Meets Cerf.”
The International Federation for Information Processing (IFIP) Networking 2020 Conference (NETWORKING 2020) is a leading conference on the research and practice of computer networking. Professor Varghese was one of the five world-renowned researchers invited to deliver keynotes at the conference this year.