« All Events

  • This event has passed.

George VARGHESE

January 8, 2016

Speaker: George VARGHESE (Microsoft Research)

Host: Michael Goodrich

Title: Network Verification and Synthesis- When Hoare Meets Cerf

+ Google Calendar+ iCal Export

Details

Date:
January 8, 2016
Event Category:

Venue

DBH 6011
Donald Bren Hall
Irvine, CA 92697 United States + Google Map
Phone:
(949) 824-7651