# Markus A. Kuppe [[Microsoft Research]] のプリンシパルリサーチエンジニア。10 年以上にわたり [[TLA+]] プロジェクトのメンバーとして関与し、TLA+ ツール群の開発に重要な貢献をしてきた。Microsoft のエンジニアが TLA+ を用いて自社システムを形式化する支援も行う。SREcon23 Americas では [[Finn Hackett]]（インターン時代のメンター S'22）と共同で Azure CosmosDB インシデントの TLA+ モデリングを発表した（[[@2023__SREcon23Americas__Turning an Incident Report into a Design Issue with TLA+]]）。同発表のポストモーテムレビュアーも担当。