政策信息 众创空间 孵化器 产业园 成果 专利 专家
Innovation resources
其研究方向为软件工程与知识工程,包括Formal Methods, Object-Oriented Methodology, Software Testing, Network Information Security, Logic Programming, Expert Systems, Discrete Mathematics.