# Ang Chen [[University of Michigan]] 所属。クラウド管理と LLM エージェントの交差領域を牽引し、本 wiki の IaC 系 3 ソースを貫く指導著者(connecting node)。IaC ライフサイクルの 3 方向を、いずれも「LLM エージェント + symbolic な guardrail」という共通設計で攻める。 - [[Zodiac]]([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]], SOSP '24): IaC のセマンティックチェック発掘(デプロイ前検証)。[[Yiming Qiu]]・[[Patrick Tser Jern Kon]] を指導し [[Ryan Beckett]] と共同。 - [[NSync]]([[@2025__arXiv__Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents]]): IaC reconciliation(drift 修復)。[[Zhenning Yang]] が第一著者、[[Amazon Web Services]] と共同。 - [[Lilac]]([[@2025__AIOps__Automated Lifting for Cloud Infrastructure-as-Code Programs]]): IaC lifting(逆生成)。[[Jingjia Peng]] が第一著者、[[University of California, San Diego]] と共同。 - [[Ryan Beckett]] とのプログラマブルスイッチ更新合成([58], NSDI '23)など、ネットワーク・システムの解析/検証研究を背景に持つ。両 IaC 論文の関連研究にも自著(cloudless computing・IaC-Eval・semantic checks for IaC 等)が複数挙がる。 - ビジョン/ポジション論文 [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]](OSR 2025, [[Zhenning Yang]] ほか・[[Martin Casado]] と共同)の senior 著者。上記 IaC 3 方向(Zodiac/NSync/Lilac)を「SDK・CLI・IaC・ClickOps の 4 [[クラウド管理モダリティ]]」のうち IaC として位置づけ、neural(LLM)+ symbolic(metaprogram 検証)+ guardrail という研究室共通の設計思想を、クラウド管理全体の技術ロードマップとして明示した。 ## 関連 - ソース: [[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]] / [[@2025__arXiv__Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents]] / [[@2025__AIOps__Automated Lifting for Cloud Infrastructure-as-Code Programs]] / [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]] - 所属: [[University of Michigan]] - 共著者: [[Yiming Qiu]] / [[Patrick Tser Jern Kon]] / [[Ryan Beckett]] / [[Zhenning Yang]] / [[Jingjia Peng]] / [[Archit Bhatnagar]] / [[Martin Casado]] - 関連プロダクト: [[Zodiac]] / [[NSync]] / [[Lilac]] - 概念: [[Infrastructure as Code]] / [[クラウド管理モダリティ]] - 関連 MOC: [[Network - MOC]] / [[Software Engineering - MOC]] / [[SRE - MOC]]