李晅松讲师（高校）
硕士生导师



目前就职： 计算机科学与技术学院
导师类型/类别： 校内硕士生导师
个人主页：






10 访问




联系电话：
电子邮箱： lixs@njust.edu.cn
邮编：
工作单位： 计算机科学与工程学院
通讯地址：



个人信息
指导学科
社会、学会及学术
出版专著和教材
科研创新
教学活动
发表论文
指导学生情况
其他信息
获奖、荣誉称号


教育经历
1997年9月～2003年7月 南京外国语学校 中学
2003年9月～2007年7月 南京大学计算机科学与技术系 本科
2007年9月～2016年6月南京大学计算机科学与技术系 研究生（硕博连读）


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



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


社会、学会及学术兼职
中国计算机学会（CCF）系统软件专委会委员、形式化方法专委会通信委员
UIC'18会议workshop co-chair
COMPSAC'17、COMPSAC'18、ATC'18、NASAC'16等会议PC member
参与JCST等期刊审稿


出版专著和教材


科研创新
1、一种显式地进行计算环境描述的方法,ZL5.9


科研项目
1、?????????????????????????????????,-2019.05.31,???,37-1,??????????,2,1
2、?????????????????,-2020.12.31,???,02,??????????,25,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）
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.
李晅松, 陶先平, 宋巍. 普适计算应用时空性质的运行时验证. 软件学报, 2018, 29(6): 1622-1634
Kai Dong, Taolin Guo, Haibo Ye, Xuansong Li, Zhen Ling, On the limitations of existing notions of location privacy, Future Generation Computer Systems, 2018, 86, 1513-1522.
李晅松,陶先平,吕建,宋巍. 面向动作的上下文感知应用的规约与运行时验证.软件学报2017,28(5):1167-1182
Fangfei Chen, WeiSong,ChengzhenZhang,Xuansong Li, Pengcheng Zhang. AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes. 24th Asia-Pacific Software Engineering Conference Workshops (APSECW), 2017.
Xuansong Li, Xianping Tao and Jian Lu. Towards a Programming Framework for Activity-Oriented Context-Aware Applications. Frontiers of Computer Science (FCS), 2017, 11(6):987–1006.
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.
Xuansong Li, Xianping Tao and Jian Lu. Programming Method and Formalization for Activity-Oriented Context-Aware Applications, Ubiquitous Intelligence and Computing (UIC), 2015, pp. 174-181.
Xuansong Li, Xianping Tao and Jian Lu. Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach, International Conference on Quality Software (QSIC), 2013, pp. 173-182.
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.



指导学生情况


其他信息


获奖、荣誉称号






新闻列表