Erika Ábrahám

確率的ハイパープロパティがプログラムのセキュリティをどう向上させるか調べてる。

FMplexは線形方程式と不等式を解く効率を向上させる。

ハイブリッド・レベッカとそのスマートシステム安全性における役割を探る。