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
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 工学博士学位