Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
Introduction

The Software Engineering Group, SEG, is part of the Department of Computer Science and Technology and State Key Laboratory for Novel Software Technology at Nanjing University. This group was founded by Prof. Guoliang Zheng.

Today, the research team in SEG has 6 faculty members, 3 post-doc and around 40 postgraduate students. Our research areas mainly focus on Software analysis, verification, testing, model driven engineering and all the related areas in the context of Software Engineering. More specifically, we are currently working on modeling and verification of cyber physical system, software trustworthiness measure and evaluation, verification of real-timed and hybrid system, runtime verification of software code, context-free pointer analysis, aspect-oriented modeling and testing, model based testing generation, model-driven architecture and transformation, Service oriented computing and etc.

You can contact with SEG by email to specific person, or simply come to Room 720, Computer Building, Nanjing University Xianlin Campus. We are open to all kinds of communication and collaboration.

News
硕士毕业生杨阳的毕业论文获江苏省优秀专业学位硕士论文奖 2014-7-3
2014 SEG小组毕业生欢送会专题报道 2014-6-23
北京思普崚技术有限公司招聘 2014-5-21
硕士毕业生张凤玲的毕业论文获南京大学计算机系优秀硕士论文奖 2014-4-11