呂嘉

姓名：

呂嘉

性别：

 男

出生年月：

職稱：

講師

畢業學校：

浙江大學

專業：

計算機軟件與理論

學位：

聯系電話：

電子郵件：

研究方向：

程序方法學

獲獎情況：

主要成果：

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 .

在研項目：

個人主頁：