Yu Feng

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