Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
学术报告：智能安全攻防对抗 2020-7-9
软件工程组 2020 本科生开放日在线宣讲安排 2020-6-29
软件工程组 2020 本科生开放日介绍材料 2020-6-21
软件工程组 2020 本科生开放日招生启动 2020-6-12
潘敏学副教授等获 ISSTA 2020 最佳论文奖 2020-6-8
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