吕嘉

姓名：

吕嘉

性别：

 男

出生年月：

职称：

讲师

毕业学校：

浙江大学

专业：

计算机软件与理论

学位：

联系电话：

电子邮件：

研究方向：

程序方法学

获奖情况：

主要成果：

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 .

在研项目：

个人主页：