李晅松，男，博士，南京理工大學副教授。
基本介紹
- 中文名：李晅松
- 國籍：中國
- 民族：漢
- 學位/學歷：博士
- 職業：教師
- 專業方向：軟體方法學、形式化方法、普適計算技術
- 任職院校：南京理工大學
個人經歷,研究方向,學術成果,主講課程,
個人經歷
於2007年在南京大學獲得學士學位，2016年6月在南京大學獲得計算機軟體與理論博士學位，之後進入南京理工大學計算機科學與工程學院工作。目前擔任中國計算機學會（CCF）系統軟體專委會委員，形式化方法專委會通訊委員。擔任UIC（CCF C類）會議workshop chair，JCST（CCF B類）、COMPSAC（CCF C類）、NASAC（全國軟體與套用學術會議）、ATC等會議和期刊的PC member或審稿人。
研究方向
主要從事軟體方法學、形式化方法、普適計算技術研究，
學術成果
發表學術文章十餘篇。近年主持國家自然科學基金青年基金、軟體新技術國家重點實驗室開放課題，參與國家重點研發項目、國家自然基金項目、江蘇省自然基金等課題。
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, 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.
李晅松,陶先平,宋巍.普適計算套用時空性質的運行時驗證.軟體學報, 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-Awre Applications. Frontiers of Computer Science (FCS), 2017, 11(6):987–1006.
XiaoxuXia,WeiSong,FangfeiChen,Xuansong Li, Pengcheng Zhang. Effa: aProMPlugin forRecoveringEventLogs.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. ClusterFiltered KNN: A WLAN-BasedIndoorPositioningScheme.International Symposium on aWorld of Wireless, Mobile and Multimedia Networks(WoWMoM), 2008:1-8.
2.專利授權：
一種顯式地進行計算環境描述的方法，2016.3.22，中國，ZL201310497985.9
3.軟體著作權：
“Artemis-PAOC面向動作的上下文感知套用支撐平台”,登記號: 2016SR021148,完成日期: 2015.10.12, 登記日期: 2016.01.28
主持：
1.國家自然基金青年基金項目“動作和環境感知套用的形式化技術研究”（61702263）
2.軟體新技術國家重點實驗室（南京大學）開放課題（KFKT2017B19）
參與：
1.國家重點研發計畫；
2.國家自然基金；
3.江蘇省自然基金；
4.南京理工大學自主科研項目。
主講課程
《設計模式》（英文）
《軟體工程與方法學》
