Timothy Griffin
Computer Laboratory University of Cambridge
Date: 09/05/2019 (Thursday) – 08:30 to 10:00
Abstract: Os protocolos de roteamento distribuídos não desaparecerão, mesmo no mundo das redes definidas por software SDN). Na verdade, a SDN facilitará a definição de novos protocolos de roteamento distribuídos. Esta apresentação irá pesquisar modelos abstratos de roteamento. Em articular, veremos como o expressivo “roteamento baseado em políticas” requer novos conhecimentos e resultados matemáticos. Se as linguagens de política de roteamento forem muito expressivas, poderão surgir anomalias estranhas (como no BGP). Procuramos desenvolver uma família de linguagens de políticas que sejam maximamente expressivas, mantendo as garantias de “bom” comportamento.
Bio: Tim Griffin estudou matemática na Universidade de Wisconsin, Madison e, em seguida, recebeu um PhD em ciência da computação pela Universidade de Cornell. Foi professor da UNICAMP em 1989-1991 (conhecido como “Professor Ra-Tim-Boom” pelos alunos). Depois disso, trabalhou na Bell Laboratories, na AT&T Research e na Intel Labs antes de ingressar no Laboratório de Computação em Cambridge, em 2006. O Dr. Griffin publicou pesquisas nas áreas de demonstração de teoremas interativos, linguagens de programação, bancos de dados e roteamento na Internet.