Christoph Sprenger

サムチェックプロトコルのセキュリティを形式的検証手法で分析する。

データベースのトランザクションがデータの一貫性と効率をどう確保するかを学ぼう。