基本信息
Yu Feng 是加州大學聖塔芭芭拉分校（UCSB）電腦科學系的助理教授。 他與他人共同創立了 Veridise 與 Nubit。 Feng 教授因其對該領域的貢獻而獲得了著名的學術獎項，包括頂級形式方法（PLDI’18、PLDI’22）、軟體工程（ASE’20）和人機互動（CHI’21）的最佳論文獎。 他也是谷歌學院獎、以太坊學術獎等多項獎項的得主。
Yu Feng 是加州大學聖塔芭芭拉分校（UCSB）電腦科學系的助理教授。 他與他人共同創立了 Veridise 與 Nubit。 Feng 教授因其對該領域的貢獻而獲得了著名的學術獎項，包括頂級形式方法（PLDI’18、PLDI’22）、軟體工程（ASE’20）和人機互動（CHI’21）的最佳論文獎。 他也是谷歌學院獎、以太坊學術獎等多項獎項的得主。