欢迎关注微信公众号【计算机视觉联盟】 获取更多前沿AI、CV资讯
论文下载
关注微信公众号【计算机视觉联盟】，回复关键词【Ryan】即可下载全文！
论文封面
论文目录
目前，Beckett 是微软研究院移动与网络组（the mobility and networking group）的研究员。他在普林斯顿大学取得计算机科学硕士和博士学位，在美国弗吉尼亚大学取得计算机科学和数学两个学士学位。
Ryan Beckett 在博士论文《Network Control Plane Synthesis and Verification》中提出了一种创建、验证网络控制平面配置的通用、高效算法。计算机网络连接着这个世界重要基础设施的关键组件。一旦网络配置出错，人类高度依赖的系统就会崩溃，出现飞机坠毁、银行崩溃等情况。Beckett 的博士论文介绍了一种全新的原则、算法与工具，能够大幅改善当前网络的可靠性。