本人于2007年在南京大学获得学士学位，2016年6月在南京大学获得计算机软件与理论博士学位，之后进入南京理工大学计算机科学与工程学院工作。

软件方法学、形式化方法、普适计算技术

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（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.

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.

Fangfei Chen, Wei Song, Chengzhen Zhang, 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-Based Indoor Positioning Scheme. International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2008: 1-8.