形式手法と AWS のおいしい関係。
5222教室
本発表では「形式手法」と呼ばれる技術を応用し、AWS のモデル化と検証を試みます。 形式手法は、対象となるシステムを数学的な理論に基づいて厳密に記述し、 その「正しさ」を保証するための技術。 実は S3 や DynamoDB の裏側でも密かに活躍しています。 数学×クラウドで探る、一味違うインフラ設計の世界をちょっと覗いてみませんか？
チェシャ猫（チェシャねこ）
ProofCafe
普段は業務アプリケーションのインフラを担当。 最近では AWS とコンテナ技術を組み合わせた継続的デリバリ基盤を設計し、 気がつけば社内でアーキテクト的役回りに祭り上げられていたりする。 トレードマークは猫耳。
