姓 名
吕嘉
性别
男
出生年月
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