Yu Feng

於峯是加州大學聖地亞哥分校計算機科學系的助理教授。他於 2018 年獲得德克薩斯大學奧斯汀分校計算機科學博士學位。

我的研究興趣包括編程語言、程序分析和驗證、程序綜合和安全。更具體地說,我想構建自動化工具,以合理、精確和可擴展的方式保證系統的預期行爲。我還對應用程序綜合/分析來構建和破壞系統,解決移動設備和區塊鏈中的安全和性能問題感興趣。

我正在積極尋找有上進心、有才華的學生和博士後。如果你有興趣構建結合邏輯推理和機器學習能力的尖端程序綜合/分析框架,請給我發一封電子郵件,附上你的簡歷(對約束求解或函數式編程語言的瞭解將是一大優勢)。


擴展生態系統

超過70+生態系統正在積極增長,同樣值得您的關注。