姓 名 李晅松 性 别 男
出生年月 1985年2月 籍贯 中国
民 族 汉族 政治面貌 党员
最后学历 博士研究生毕业 最后学位 工学博士
技术职称 讲师 导师类别 硕士生导师
导师类型 校内 兼职导师 否
行政职务 Email lixs@njust.edu.cn
工作单位 计算机科学与工程学院 邮政编码
通讯地址 南京市孝陵卫200号
单位电话
个人主页


指导学科
学科专业(主) 0812|计算机科学与技术 招生类别 硕士 所在学院 计算机科学与工程学院
研究方向 软件方法学、普适计算技术、形式化技术



工作经历
2006-今 南京理工大学 计算机科学与工程学院 讲师

教育经历
2000-2003 南京外国语学校高中
2003-2007 南京大学计算机科学与技术系本科
2007-2016 南京大学计算机科学与技术系硕博连读

社会、学会及学术兼职
中国计算机学会（CCF）会员，CCF系统软件专委委员、形式化专委通讯委员

科研项目
主持：
1)国家自然基金青年基金项目“动作和环境感知应用的形式化技术研究”（**）
2)软件新技术国家重点实验室（南京大学）开放课题（KFKT2017B19）
3)南京理工大学科研启动经费
参与：
1)国家重点研发计划“可持续演化的智能化软件理论、方法和技术” (2017YFB**)
2)国家自然基金国际合作项目“面向数据感知服务组合的过程挖掘研究”()
3)江苏省自然基金面上项目“面向网构软件的过程挖掘与分析方法研究” (BK**)
4) 南京理工大学自主科研项目()

发表论文
第一作者论文：
[1]Xuansong Li, Xianping Tao, Wei Song and Kai Dong. AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications. Journal of Computer Science and Technology (JCST), 2018, accepted.（CCF B）
[2] Xuansong Li, Wei Song and Haibo Ye. ALChecker: A Tool for Checking Mobile Ambients. International Conference on Advanced and Trusted Computing (ATC) Work-In-Progress, 2018, accepted.
[3] 李晅松,陶先平,宋巍.普适计算应用时空性质的运行时验证.软件学报,2018,29(6):
[4]李晅松,陶先平,吕建,宋巍. 面向动作的上下文感知应用的规约与运行时验证，软件学报2017,28(5):1167-1182
[5] Xuansong Li, Xianping Tao, Jian Lu. Towards a Programming Framework for Activity-Oriented Context-Aware Applications. Frontiers of Computer Science (FCS), 2017, 11(6): 987-1006.
[6] Xuansong Li, Xianping Tao, Jian Lu. Programming Method and Formalization for Activity-Oriented Context-Aware Applications.12th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC), 2015:174-181
[7] Xuansong Li, Xianping Tao, Jian Lu. Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach, 13th International Conference on Quality Software (QSIC), 2013: 173-182.
其他：
[1] Kai Dong, Taolin Guo, Haibo Ye, Xuansong Li, Zhen Ling, On the limitations of existing notions of location privacy, Future Generation Computer Systems, 2017.
[2]Fangfei Chen, Wei Song, Chengzhen Zhang, Xuansong Li, Pengcheng Zhang.AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes.2017 24th Asia-Pacific Software Engineering Conference Workshops (APSECW) (2017)
[3]Xiaoxu Xia, Wei Song,Fangfei Chen,Xuansong Li, Pengcheng Zhang. Effa: a ProM Plugin for Recovering Event Logs.8th Asia-Pacific Symposium on Internetware. ACM, 2016: 108-111.
[4]Jun Ma, Xuansong Li, Xianping Tao and Jian Lu. Cluster Filtered KNN: A WLAN-BasedIndoor Positioning Scheme. International Symposium on aWorld of Wireless, Mobile and Multimedia Networks(WoWMoM), 2008:1-8.

科研创新
1.专利授权：
一种显式地进行计算环境描述的方法，2016.3.22，中国，ZL5.9
2.软件著作权：
“Artemis-PAOC面向动作的上下文感知应用支撑平台”,登记号: 2016SR021148,完成日期: 2015.10.12, 登记日期: 2016.01.28

教学活动
本科生课程：
软件设计模式【英】（3学分，留学生全英文课程）
软件工程与方法学（2.5学分）

我的团队
宋巍副教授