General
Li Guangyuan

Institute of Software
Chinese Academy of Sciences


Email:  ligy@ios.ac.cn
Telephone:  +86 10 62661628

Address:
Lab. of Compter Science,
P.O. Box 8718,
Beijing 100190, China
Postcode: 100190

Research Areas

Real-Time Systems, Model Checking, Temporal Logics and  Formal Methods.

Education

中科院软件所 19980301--20010701 工学博士学位