Yu Feng

於峯是加州大學聖地亞哥分校計算機科學系的助理教授。他於 2018 年獲得德克薩斯大學奧斯汀分校計算機科學博士學位。 我的研究興趣包括編程語言、程序分析和驗證、程序綜合和安全。更具體地說，我想構建自動化工具，以合理、精確和可擴展的方式保證系統的預期行爲。我還對應用程序綜合/分析來構建和破壞系統，解決移動設備和區塊鏈中的安全和性能問題感興趣。 我正在積極尋找有上進心、有才華的學生和博士後。如果你有興趣構建結合邏輯推理和機器學習能力的尖端程序綜合/分析框架，請給我發一封電子郵件，附上你的簡歷（對約束求解或函數式編程語言的瞭解將是一大優勢）。