Improving Reliability of Modern Cloud Systems with Verification in the Loop-Department of Computer Science and Technology, Tsinghua University

Home
About
- Introduction
- History
Education
Research
- Research Areas
- Research Insititutions
Advisory Board
- Members of the Advisory Board
Faculty
- CAS & CAE members
- Full-time Faculty
Resource
- Lectures
- Job Opportunity
Contact

News

Academic report
News

Position： Home > News > Academic report > Content

Improving Reliability of Modern Cloud Systems with Verification in the Loop

Aug 5, 2025 16:42

报告人	Xudong Sun	讲座时间	August 7, 2025
讲座地点	Conference Room 524, Building 1, Ziqiang Science and Technology Building

Previous：PCU: A Quiet Guidance Infrastructure for All

Next：AI for data-driven simulations in Physics

Links

Tsinghua University
Lectures
Job Opportunity
Teaching Lab
Download

Contact us

MAIL Address: Department of Computer Science and Technology, Tsinghua University, BEIJING, P.R.China

Administration Office: +86-10-627-82258 FAX: +86-10-627-95462

Copyright 2009-2024 Department of Computer Science and Technology All Rights Reserved

Wechat account