吕嘉

姓   名

吕嘉

性别

男

出生年月

1977.7

民族

汉

毕业学校

浙江大学

毕业

时间

2009

学位

博士

所学专业

计算机科学与技术

行政

职务

工作时间

2009.9

党派

职称

讲师

E-mail

samlv2000@163.com

电  话

85191955

受教育经历

1996/09-2000/06 江苏石油化工学院 计算机科学与技术系  学士

2000/09-2003/03 南京航空航天大学 信息学院             硕士

2006/03-2009/06 浙江大学        计算机科学与技术学院 博士

工作

经历

2003/04-2006/02 河海大学常州校区 信息学院(常州)  助教

2009/09-至今   河海大学常州校区 物联网工程学院  讲师

进修

情况

时 间

学校（单位）、

国别

主要内容和取得的成效

研究方向

程序方法学、软件工程

论文论著

[1] 吕嘉, 应晶, 吴明晖, 蒋涛,横切侵入性和横切不变性, 计算机研究与发展, 45(8), 2008: 1408-1416.

[2] Jia Lv, Jing Ying, Minghui Wu and Jin CangHong, Crosscutting invariant and an efficient checking algorithm using program slicing, SIGPLAN Not., 43(2), 2008: 12-20.

[3] Jia Lv, Jing Ying, Minghui Wu, Tao Jiang, Fanwei Zhu. Verifying Aspect-Oriented Programs Using Open Temporal Logic, SSIRI2009, IEEE Computer Society ISBN 978-0-7695-3758-0 .

[4] 蒋涛,应晶,吴明晖,吕嘉. 一种面向特征增量的软件产品线分析方法[J]. 浙江大学学报, 43(12), 2009:2142-2148.

[5] Fan-Wei Zhu, Ming-Hui Wu, Jia Lv and Jing Yin, A Novel Semantic Discovery Method Using Transaction Requirements in Database Reverse Engineering, ICIE, 2009: 561-564.

[6] Minghui Wu, Fanwei Zhu, Jia Lv, Tao Jiang and Jing Ying, Improve Semantic Web Services Discovery through Similarity Search in Metric Space. TASE, 2009: 297-298.

[7] Jia Lv, Minghui Wu, Multiple Behavior Contracts for JavaScript.iTAP, 2012.

[8] Minghui Wu, Jia Lv, Designing JavaScript Objects by Type Extension. International Review on Computers and Software,2013.

科研成果

[1]《江苏省兴化市、泰兴市医疗保险系统》，2002.

[2]《常州市育龄妇女管理信息系统》，2003-2004.

[3]《浙江省动物及其产品质量安全全程监控信息系统》,2006-2007.

[4]《三维警务管理系统》,2009-2010.

[5]《古汉字字整理平台》,2012.

[6] 《屠宰追溯子系统》，2013