# Joshua Rowe [[Microsoft]] のプリンシパルエンジニア。[[Azure CosmosDB]] のドメインエキスパートとして、[[TLA+]] による CosmosDB 形式モデルの構築に主導的に関わった。5 つの整合性レベルをすべてシミュレートする再利用可能なモデル（構築に 3 ヶ月）を作成し、[[Finn Hackett]] と [[Markus A. Kuppe]] がインシデント分析に活用できるようにした（[[@2023__SREcon23Americas__Turning an Incident Report into a Design Issue with TLA+]]）。