University of Cambridge > Talks.cam > Technical Talks - Department of Computer Science and Technology  > Cisco: Have your Robots Call My Robots

Cisco: Have your Robots Call My Robots

Add to your list(s) Download to your calendar using vCal

  • UserSimon Chatterjee
  • ClockTuesday 03 November 2020, 13:05-13:55
  • HouseVirtual.

If you have a question about this talk, please contact Ben Karniely.

Creating a better, cheaper Internet for all depends on network operations moving away from humans to software automatons.

This raises technical challenges, where techniques originating in automated theorem proving are highly practical.

This is an accessible talk, that won’t assume deep knowledge of either networking or formal methods.

This talk is part of the Technical Talks - Department of Computer Science and Technology series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity