孙猛毕业于北京大学。
相关问答FAQs：
孙猛在北京大学学习的专业是什么？
孙猛在北京大学学习的专业是应用数学，并在2005年获得了博士学位.
孙猛目前担任哪些职务或职位？
根据杰作网，孙猛目前担任的职务包括：
- 贵州双龙航空港经济区管委会主任。
信息是基于当前杰作网的，并且公职人员的职位可能会有变动。如果需要最新的职务信息，建议查询官方公告或权威新闻报道。
孙猛有哪些主要成就或贡献？
孙猛的主要成就或贡献
孙猛是北京大学的一位专家，他在网络形式化方法领域有着显著的研究成果。在2023年10月的中国计算机大会（CNCC）上，孙猛作为主讲嘉宾之一，参与了关于云网融合中网络形式化方法前沿技术的讨论。他的工作聚焦于提高云网融合运维的可靠性与可用性，这对于中国“十四五”期间新基建的发展和掌握相关领域的核心技术具有重要意义。
孙猛的研究不仅限于理论，还包括实际应用。他的工作涉及云网融合高效验证、云网配置诊断与纠错、云网运维智能诊断等方面，这些都是云网融合技术发展中的关键问题。通过这些研究，孙猛为提升网络系统的性能和安全性做出了贡献，特别是在大规模云基础设施网络的形式化验证方面。
孙猛在网络形式化方法及其在云网融合中的应用方面做出了重要贡献，他的工作有助于推动信息基础设施的自主创新和发展。
