Yu Feng
加州大学圣地亚哥分校的计算机科学教授,Nubit的队长。
于峰是加州大学圣地亚哥分校计算机科学系的助理教授。他于 2018 年获得德克萨斯大学奥斯汀分校计算机科学博士学位。 我的研究兴趣包括编程语言、程序分析和验证、程序综合和安全。更具体地说,我想构建自动化工具,以合理、精确和可扩展的方式保证系统的预期行为。我还对应用程序综合/分析来构建和破坏系统,解决移动设备和区块链中的安全和性能问题感兴趣。 我正在积极寻找有上进心、有才华的学生和博士后。如果你有兴趣构建结合逻辑推理和机器学习能力的尖端程序综合/分析框架,请给我发一封电子邮件,附上你的简历(对约束求解或函数式编程语言的了解将是一大优势)。