李晅松

时间:2017-01-03浏览:13设置

姓名

李晅松

性别

出生年月

1985.2

职称

讲师

所在部门

计算机科学与技术系

Email

lixs@njust.edu.cn

联系电话

13912967681

通信地址

南京市孝陵卫200号南京理工大学计算机学院

邮编

210094

所属学科

计算机科学与技术、软件工程

博导 □硕导 □

研究方向

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

个人简介及研究兴趣

本人于2007年在南京大学获得学士学位,20166月在南京大学获得计算机软件与理论博士学位,同年加入南京理工大学计算机科学与工程学院。

主要从事软件方法学、形式化方法、普适计算技术研究,近年主持南京大学研究生创新基金项目,参与国家863973、自然基金等课题。担任NASAC(全国软件与应用学术会议)2016 English Track PC member,参与Internetware等会议审稿。

主讲课程及教学成果

本科生课程:《设计模式》(英文)

代表性成果

1.已完成论文:

[1]李晅松,陶先平,吕建,宋巍,面向动作的上下文感知应用的规约与运行时验证,软件学报,已录用

[2] Xuansong Li, Xianping Tao, Jian Lu. Towards a Programming Framework for Activity-Oriented Context-Aware Applications. Frontiers of Computer Science (FCS), accepted. DOI: 10.1007/s11704-016-5399-4

[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] 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

[5] 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.

[6]Jun Ma,Xuansong Li, Xianping Tao and Jian Lu. Cluster Filtered KNN: A WLAN-Based Indoor Positioning Scheme.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

近期在研项目

南京理工大学科研启动基金

返回原图
/