Jun Yan

Synbciatrはソフトウェア開発において古くなったテストケースを自動で修正するよ。

順列における降下、逆転、そしてそれらの影響についての研究。

SAMの敵対的攻撃に対する堅牢性を調べて、安全な自動運転技術を目指す。

AutoCheckerは、開発者向けのカスタム静的コードチェッカーの作成を簡単にするよ。