Arm 熊沙乐研究工程师学术报告通知
报告题目：Is your code correct?
报告人：Arm，熊沙乐研究工程师
报告时间：2023年5月25日（周四）下午16:00
报告地点：犀浦校区3号教学楼31541
主持人：李天瑞教授
报告摘要：
The talk provides an overview of recent public work on verifying the specification and prototype of the Realm Management Monitor (RMM). The RMM is an essential firmware component of Arm Confidential Computing Architecture (Arm CCA), which is a recently announced Confidential Computing technology incorporated in the Armv9-A architecture. The second part of the talk introduces notable research contributions from various scholars in the field of formal verification over the past 20 years.
报告人介绍：
Shale Xiong is currently a research engineering at Arm, focusing on formal verification and information security. His work involves examining specifications, protocol designs, software implementations, and prototyping verification and validation strategies to enhance their quality and security. He received his PhD degree in Computer Science from Verified Trustworthy Software Specification Group at the Department of Computing, Imperial College, in 2019, and received his Bachelor’s degree in Software Engineering from Southwest Jiaotong University, China, in 2014.
相关文章
2026年第六届数字化社会与智能系统国际学术会议（DSInS 2026）
尊敬的各参会学者、研究员与单位： 由工业级5G创新应用（大理）研究院、西南交通大学、利兹大学主办，香港教育大学、武汉理工大学、岭南大学支持的第六届数字化社会与智能系统国际学术会议（DSInS 2026）将于2026年11月……
【研究生学术讲座】面向视频多模态大模型的表征学习
讲座时间：2026年9月20日（星期日）上午10:30讲座地点：犀浦校区3号教学楼X31541报告厅主讲人：侯淇彬 副教授主持人：袁召全内容简介： 视频多模态大模型是人工智能领域的前沿方向，其核心挑战在于如何从海量、异构的视频数……
【研究生学术讲座】 From Implicit Judgments to Explicit Control: Calibrating LLM Decisions and Repairing Language Agents
讲座时间: 2026年08月24日(星期一)下午15:00讲座地点: 犀浦校区3号教学楼X31541报告厅主讲人: Wei Wang 教授主持人: 张晓博 副教授主讲人简介：Dr. Wei Wang is a currently a P……
