Log in

Information on

Adding a talk details

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.

Note that ex-directory lists are not shown.

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.