César Sánchez

複雑なソフトウェアシステムの検証におけるハイパープロパティの役割を探る。

楽観的ロールアップがブロックチェーンのスピードと効率をどう改善するかを学ぼう。

さまざまな環境で信頼できるコントローラーを作る方法を探ってる。