2021.7-今 南京理工大学 计算机科学与工程学院 副教授
2019.8-2020.9 美国 普渡大学 计算机科学系 访问学者
2016.6-2021.6 南京理工大学 计算机科学与工程学院 讲师
2007-2016 南京大学 计算机科学与技术系 硕博连读
2003-2007 南京大学 计算机科学与技术系 本科
中国计算机学会（CCF）会员，CCF系统软件专委委员、形式化专委委员
江苏省计算机学会特色化软件人才培养专业委员会委员
软件学报、JSME、JCST、Compsac等会议与期刊审稿人
第一作者、通讯作者论文：
[1] 刘靖宇,李晅松,陈芝菲,叶海波,宋巍.面向物联网设备移动与通信行为的建模及验证.软件学报,2024,35(11):4993-5015 (通讯作者)
[2] Muslum Ozgur Ozmen, Xuansong Li*, Andrew Chu, Z. Berkay Celik*, Bardh Hoxha, Xiangyu Zhang; Discovering IoT Physical Channel Vulnerabilities, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (CCF A，通讯作者)
[3] Xuansong Li, Wei Song, Xiangyu Zhang; Towards Programming and Verification for Activity-Oriented Smart Home Systems, In Proc. of 35th IEEE/ACM International Conference on Automated Software Engineering (ASE)-lbr, 2020.
[4] 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, 33(5): 900-917.
[5] 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.
[6] 李晅松,陶先平,宋巍.普适计算应用时空性质的运行时验证.软件学报,2018,29(6):
[7] 李晅松,陶先平,吕建,宋巍. 面向动作的上下文感知应用的规约与运行时验证，软件学报2017,28(5):1167-1182
[8] 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.
[9] 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
[10] 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] Jiangmin Xu, Xuansong Li, Hao Wang, HongNing Dai, Shunmei Meng; LSH-based Collaborative Recommendation Method with Privacy-Preservation, IEEE International Conference on Cloud Computing, 2020
[2] Haibo Ye, Xuansong Li, Sheng Li, Kai Dong. CBSC: A Crowdsensing System for Automatic Calibrating of Barometers. Journal of Computer Science and Technology (JCST), 2019, 34(5): 1007-1019.
[3] Kai Dong, Taolin Guo, Haibo Ye, Xuansong Li, Zhen Ling, On the limitations of existing notions of location privacy, Future Generation Computer Systems, 2017.
[4] 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)
[5] 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.
[6] Jun Ma, Xuansong Li, Xianping Tao and Jian Lu. Cluster Filtered KNN: A WLAN-Based Indoor Positioning Scheme. International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2008: 1-8.
1. 专利：
一种显式地进行计算环境描述的方法，2016.3.22，中国，ZL201310497985.9
另有三项已公开
2. 软件著作权：
“Artemis-PAOC面向动作的上下文感知应用支撑平台”,登记号: 2016SR021148,完成日期: 2015.10.12, 登记日期: 2016.01.28