VP

Varun Pant

AWS
1件の講演2026期間

登壇した講演

1 件 · 新しい順
タイトルの言語
日本語のタイトルはまだないため、英語の原題を表示しています。
20261 件
AI Engineer2026年8月Your Code Has Bugs. Lean4 Has Proofs: Formal Verification for Engineers — Varun Pant, AWSコーディングエージェントCode review & verification登壇者記事は準備中EN