University of Cambridge > > Computer Laboratory Tech Talks > 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 Computer Laboratory Tech Talks series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


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