Jie Luo

Luo Jie Current Address:
State Key Laboratory of Software Development Environment
School of Computer Science and Engineering
Beihang University
No. 37 Xueyuan Road, Haidian District, Beijing 100191, P.R China

Phone: +86-10-8233-8092

Email: luojie AT nlsde.buaa.edu.cn

Research Interests

My research interests include mathematical logic, revision calculus, and program debugging.

    Last update: May 2, 2012