Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
李宣东老师报告-从自然语言需求到程序代码 大语言模型打开的空间和带来的挑战 2023-12-6
软件工程组 2023 本科生开放日招生启动 2023-6-15
卜磊教授荣获2022年度CCF青年科技奖 2023-6-15
软件工程组 2022 本科生开放日招生启动 2022-6-27
软件工程组 2022 本科生开放日介绍材料 2022-6-14
2022 SEG小组毕业生欢送会 2022-6-11
嵌入式代码有界验证工具BRICK在SV-COMP 2022取得佳绩 2022-1-24
SEG在面向千万行规模代码的高可扩展性静态分析系统方向取得突破 2022-1-24
软件工程组随时欢迎新同学加入 2021-7-16
2021年系统软件技术论坛于7月15日在南京召开 2021-7-12
Academic lecture from Dr. Wanli Chang 2021-6-16
博士生赵庆晔的论文入选ACM SIGBED HSCC最佳论文奖提名 2021-6-15
Academic lecture from Dr. Chao Huang 2021-6-1
学术报告:双向模型转换--挑战与进展 2021-5-2
卜磊教授入选第二届 “高校计算机专业优秀教师奖励计划” 2020-12-19
C语言系统冗余头文件分析工具 oa 参加NASAC 2020 原型系统竞赛自由命题组并获得佳绩 2020-11-22
C/C++代码缺陷检测工具EasyDefender在软件研究成果原型系统竞赛中斩获佳绩 2020-11-22
C/C++代码缺陷检测工具DetectMe参加NASAC2020原型工具竞赛并获佳绩 2020-11-22
王豫博士获OOPSLA 2020杰出论文奖 2020-11-15
Academic lecture from Dr. Guangdong Bai 2020-11-5
学术报告:Bridging the Gap between AI and SE 2020-10-14
Academic lecture from Dr. Yu Jiang 2020-10-9
Academic lecture from Dr. Kai Chen 2020-9-3
学术报告:智能安全攻防对抗 2020-7-9
软件工程组 2020 本科生开放日在线宣讲安排 2020-6-29
软件工程组 2020 本科生开放日介绍材料 2020-6-21
软件工程组 2020 本科生开放日招生启动 2020-6-12
潘敏学副教授等获 ISSTA 2020 最佳论文奖 2020-6-8
学术报告:双向计算的原理、语言及应用 2020-5-18
C代码验证工具 BRICK 参加 SV-COMP 2020 程序验证竞赛并获佳绩 2020-2-23
张时雨同学荣获 YR-FMAC 2019 最佳报告奖 2019-12-1
卜磊教授获第五届 “NASAC青年软件创新奖” 2019-11-24
葛笑非同学荣获 ICSE 2019 ACM 学生研究竞赛研究生组第二名 2019-5-31
司徒凌云同学荣获 Internetware 2018 会议最佳论文 2018-9-16
解定宝博士学位论文获评中国计算机学会优秀博士学位论文 2018-2-4
硕士毕业生杨阳的毕业论文获江苏省优秀专业学位硕士论文奖 2014-7-3
2014 SEG小组毕业生欢送会专题报道 2014-6-23
北京思普崚技术有限公司招聘 2014-5-21
硕士毕业生张凤玲的毕业论文获南京大学计算机系优秀硕士论文奖 2014-4-11
11月5日讨论班 2013-11-5
博士生李游同学的论文获ACM SIGPLAN OOPSLA 2013最佳论文奖 2013-11-4
2013年10月22日讨论班通知 2013-10-17
9月24日讨论班 2013-9-23
9月17日讨论班通知 2013-9-16
2013年9月10日讨论班通知 2013-9-6
2013年9月3日讨论班通知 2013-9-2
4月9日 讨论班通知 2013-4-9
4月2日讨论班通知 2013-3-30
Academic lecture from Dr. Zili Shao 2013-1-23
2013 SEG小组年终聚会专题报道 2013-1-22
Academic lecture from Prof. Zhendong Su 2012-7-1
Academic lecture from Dr. Guoqing Xu 2012-6-18
Academic lecture from Prof.Xiangyang Liu 2012-6-15
Academic lecture from Prof. Jørgen Bøegh 2012-5-31
Academic lecture from Prof. François Coallier 2012-5-31
Academic lecture from Prof. Kazuhiro Esaki 2012-5-31
Academic lecture from Prof. Deepak Kapur 2012-5-28
Academic lecture from Prof. Doron Peled 2012-5-25
Academic lecture from Dr. Kelly Zhang 2012-5-24
Academic lecture from Prof. Jean Bézivin 2012-5-22
飞扬青春,超越梦想——2012 SEG小组联欢晚会专题报道 2012-1-10
SEG小组2011年度优秀人员颁奖 2012-1-10
软件工程组全职博士后招聘启示 2011-12-10
Academic lecture from Dr. Lin Mei 2011-11-17
SEG Hosted: Software Engineering Seminar Open Day 2011-9-24
Academic lecture from Dr. Pei Yu 2011-7-30
Academic lecture from Dr. Lunjin Lu 2011-7-28
Academic lecture from Jianwen Su 2011-7-13
SEG Hosted: SAVE 2010 2010-11-5
Academic lecture from Dr.Qixin Wang 2010-10-24
Academic lecture from Dr.Zili Shao 2010-10-24
Academic lecture from Assistant Prof. Yuanfang Cai 2010-9-21
Academic lecture from Prof. Jie Wang 2010-6-4
Academic lecture from Dr. Wing-Kwong Chan 2010-6-4
Academic lecture from Prof. Zhendong Su 2009-7-25