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