João Pedro Leite

ジョアンは、大規模なフォールトトレラントな分散システム、コンセンサス、形式手法および応用暗号化に興味を持つ研究エンジニアです。 彼の休日の間、彼はおそらくいくつかの特殊な実行環境用に別のLispを書いているか、またはその特殊な実行環境を書いた後、Lispを書いている可能性が高いです。

彼はリスボンのインスティトゥート・サペリオール・テクニコでソフトウェア工学の修士号を取得し、分散システムおよびサイバーセキュリティを専門としています。

研究分野

分散システム、コンセンサス、フォールトトレランス