尼克Sultana

教育

Ph.D. 计算机科学

剑桥大学三一学院

研究兴趣

分布式系统，可编程网络，安全性，自动推理，形式化方法

• 网络安全
• 系统
• 理论

社会兼职 & 会员资格

自动推理协会

计算机协会

英国逻辑学术会议

电气与电子工程学会

工程技术学会(IET)

USENIX

出版物

• 飞行计划:数据平面分解和放置的P4程序 2021年4月.S, J. Sonchack H. Giesen,我. Pedisich Z. 汉族,N. Shyamkumar,年代. Burad,. DeHon B. 厕所; USENIX网络系统设计与实现研讨会(NSDI)
• Emu:网络服务的快速原型 2017年7月N.S, S. Galea D. 油渣,M. Wojcik J. 施普顿,R. 克莱格L. 梅,P. Bressana R. 苏尔,R. 这部P. 哥,P. Pietzuch J. Crowcroft说,. 摩尔,N. Zilberman; USENIX技术年会(ATC)
• FLICK:开发和运行特定应用程序的网络服务 2016年6月. 阿利姆,R. 克莱格L. 梅,我. Rupprecht E. 塞克尔,P. 哥,P. Pietzuch,. 狼,N.S, J. Crowcroft说,. Madhavapeddy,. 摩尔,R. 这部,M. Koleni L. 奥维耶多,维. McAuley, M. Migliavacca; USENIX技术年会(ATC)