性别：男学位：工学博士最高学历：博士研究生职称：讲师所在单位：计算机学院/软件学院导师类别：硕士生导师招生学科：081203计算机应用技术个人简介金仙力，男，博士，南京邮电大学计算机学院计算机技术研究所讲师。2007年毕业于北京邮电大学计算机应用专业。从攻读博士到工作一直从事形式化方法等相关理论和应用研究，在该领域具有较强的科研及实践能力。参与过纵向项目8项（其中，国家重点基础研究发展规划(973)项目1项，国家自然科学基金项目5项，其它科研项目2项）和横向项目7项。先后发表论文10余篇，其中EI收录7篇，ISTP收录1篇。参加或负责过与本项目相关的项目主要有：1）国家自然科学基金项目：多媒体电子商务系统的形式模型研究（60242002），主要参与人，2003.1~2005.122）国家自然科学基金项目：视频信息网格体系结构及其典型应用研究（90612013），主要参与人，2006.1~2008.123）国家重点基础研究发展规划(973)项目：复杂生产制造过程实时,智能控制与优化理论和方法研究（2002cb312200），主要参与人，2002.1~2008.124）教育部新世纪优秀人才支持计划（NCET-04-0110），主要参与人，2005.1~2007.125）南京邮电大学引进人才科研启动基金（NY208007）：网构软件的环境自适应性的形式化技术研究，项目负责人，2009.1~2010.126）江苏省教育厅自然科学基金项目（09KJD520007）：电子数据可信取证的建模方法研究，项目负责人，2009.12-2010.127）南京邮电大学校级教改项目（JG00411JX32）：实际编程环境下的《面向对象程序设计及C++》课件设计，项目负责人，2011.6-2012.58）国家自然科学基金项目：无线多媒体传感器网络图像处理关键技术研究（61003236），主要参与人，2011.1-2013.12。研究方向及主要成果主研方向为：形式化方法、WEB服务和信息安全等。1）金仙力,马华东.基于OCL的服务构件特征语义描述模型.计算机研究与发展,2007,44(12):2112~2121.(EI,No.080311032583）2）XianliJin,HuadongMa,ZonghuaGu.Real-TimeComponentCompositionUsingHierarchicalTimedAutomata.TheSeventhInternationalConferenceonQualitySoftware(IEEEQSIC2OO7),Portland,Oregon,USA,October11-12,2007.(EI,No.082811367324）3）XianliJin,HuadongMa.HierarchicallyModelingtheComponent-basedReal-timeSystemwithDurationCalculus.TheFifthInternationalConferenceonInformation,CommunicationsandSignalProcessing(IEEEICICS2005),Bangkok,Thailand,December6-9,2005.(EI,No.071610553138）4）XianliJin,HuadongMa.AnApproachtoFormallyModelingtheComponent-basedE-commerceSystem.IEEEInternationalWorkshoponService-OrientedSystemEngineering(IEEESOSE2005),Beijing,China,October20-21,2005.(EI,No.065110314509）5）XianliJin,XiShao.TheFormalModelofReal-timeServiceComponentsCompositionBasedonDCValid.The2009WorldCongressonComputerScienceandInformationEngineering(CSIE2009),LosAngeles/Anaheim,USA,March31toApril2,2009.(EI,No.20094712464439)6）KedaLv,HuadongMa,XianliJin.APolicy-basedConflictDetectionModelforBillingRules.TheFirstIASTEDInternationalConferenceonCommunicationSystemsandNetworks(AsiaCSN2007),Phuket,Thailand,April2-4,2007.(EI,No.084511678109)7）XianliJin.The20112ndInternationalCongressonComputerApplicationsandComputationalScience(CACS2011）,Bali,Indonesia,November15-17,2011.(EI)等。联系方式单位电话：18951896832Email：jxl@njupt.e.cn*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>>

 性别：男学位：工学博士

 性别：女学位：博士

个人简介徐佳，男，1980年生，江苏常州人，南京邮电大学信息与通信工程专业博士后，南京邮电大学计算机学院副教授，硕士生导师，江苏省无线传感网高技术研究重点实验室主要成员，中国计算机学会高级

 性别：女学位：工学博士

 性别：男学位：硕士

个人简介刘林峰，男，江苏丹阳人，1981年5月生。1999年9月进入东南大学计算机科学与工程系，2003年7月本科毕业于东南大学计算机科学与工程系，同年9月进入东南大学计算机科学与工程学院

个人简介邹志强，男，江苏南京人。理学博士，毕业于中国科学院研究生院，2003年至今，南京邮电大学计算机学院任教，2004年讲师。参与了国家重大科学工程LAMOST的软件设计和科技部&ld

个人简介周宁宁，女，江苏南京人，在职博士，副教授。1993年在东南大学仪器科学与工程系获工学学士学位，1996年在东南大学仪器科学与工程系获工学硕士学位。2009获得东南大学精密仪器专业博