# Finn Hackett ブリティッシュコロンビア大学（UBC）の PhD 学生。プログラミング言語とフォーマル検証の実用的応用を研究。2022 年夏に [[Microsoft Research]] でインターンし、[[Markus A. Kuppe]] の指導のもと [[TLA+]] を用いた Azure CosmosDB インシデント分析に取り組んだ（[[@2023__SREcon23Americas__Turning an Incident Report into a Design Issue with TLA+]]）。 「フォーマル検証はそれ単独では人間がしばしば誤る推論演習の補助になる。そのため、設計改善とさまざまな応用例の提示によってこれらのツールをより身近にすることが重要である」というスタンスで研究を行う。