admin 管理员组

文章数量: 887044

SIG

编程语言社区介绍

编程语言社区 期望在国内提供一个公开的、大规模的编程语言理论、实现、应用等技术相关的交流平台，旨在推动国内编程语言理论与实现等技术。

如果你加入编程语言社区，可以：

  • 接触：接触到前沿科技，有机会在社区中孵化项目，支持商用转换

  • 贡献：参与社区建设与开源贡献，享受社区带来的成就感，同时获得技术成长

  • 收获：有机会收获各个研究领域的实习和就业机会

  • 提高：提高个人影响力，扩展学术和工业界人脉

  • 归属：可以在社区中找到归属感

社区地址：

SIG 介绍

SIG-程序分析 致力于建设一个针对程序分析领域学习、分享、成长的社区平台，吸引并聚集国内外学术界对程序分析技术有深入研究的专家学者、工业界对程序分析技术有应用实践的技术专家、以及对程序分析技术感兴趣的在校学生和广大兴趣爱好者，一起交流探讨程序分析前沿技术，分享程序分析技术在不同领域的应用实践，打造学术界-工业界-社区循环生态，共同推动国内程序分析技术的发展和研究成果落地。

SIG-程序分析 将定期举办线上/线下沙龙会议，共同探讨程序分析技术的研究进展和研究成果，将学习交流、技术分享等活动例行化、公开化，在这里不仅能结识业界大咖，汲取新知识新技术，更有机会参与项目实践，提高自己的实战水平。

Gitee 地址：

SIG 主席：待定

SIG 当前核心成员：

孙军

  • 新加坡管理大学计算机系教授

  • 研究领域：形式化方法，软件工程，安全

陈立前

  • 国防科技大学计算机学院副教授

  • 研究领域：程序分析与验证，抽象解释

熊英飞

  • 北京大学副教授

  • 研究领域：程序合成、修复与分析

陈振邦

  • 国防科技大学副教授

  • 研究领域：程序分析、形式化方法及其应用

张昕

  • 北京大学计算机科学技术系，助理教授兼特聘研究员

  • 研究领域：程序设计语言，软件工程，高可靠人工智能

左志强

  • 南京大学计算机系副研究员

  • 研究领域：程序分析，编译技术，系统软件

宋富

  • 上海科技大学常任副教授

  • 研究领域：程序分析，形式化验证，软件安全，AI 安全

蔡彦

  • 中国科学院软件研究所

  • 研究领域：软件测试、软件安全

李樾

  • 南京大学计算机系副教授，博士生导师

  • 研究领域：程序设计语言与程序分析

谭添

  • 南京大学计算机系助理研究员

  • 研究领域：程序设计语言与程序分析

李春淼

  • 日本国立情报学研究所博士

  • 研究领域：以太坊上交易费的预估和优化

姚培森

  • 香港科技大学博士，知乎编程话题优秀答主 @rainoftime

  • 研究领域：编程语言、形式化方法、安全

任晶磊

  • 思码逸 Merico CEO，清华大学计算机系博士

  • 研究领域：软件分析、软件工程

殷和政

  • 思码逸 Merico CTO

  • 研究领域：软件工程和应用机器学习

马森

  • 北京大学软件工程国家工程研究中心副研究员

  • 研究领域：软件安全及代码分析技术

梁广泰

  • 华为云软件分析 Lab 技术专家/Team Leader，北京大学计算机系博士

  • 研究领域：软件分析、智能化开发、软件工程领域

李彬

  • 编程语言 Lab 程序分析应用专家，南京大学计算机系博士

  • 研究领域：程序分析及验证

杨政 （SIG 经理）

  • 编程语言 Lab 语言工具链专家

SIG 技术文章

SIG-程序分析往期文章

微信扫描下方小程序报名

本文标签： SIG

版权声明：本文标题：SIG 内容由网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：http://www.freenas.com.cn/jishu/1716264940h674117.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。