 |
Zhen Li |
| Home | Research | Personal |
Zhen Li
Room 2.108
School of Computer Science
University of Manchester
Kilburn Building
Oxford Road
Manchester
M13 9PL
Tel: +44 (0)161 275 6266
Fax: +44 (0)161 275 6204
Email: liz
I am currently a PhD candidate at the Department of Computer Science in the University of Manchester under the supervision of Dr. Renate Schmidt. As a member of the Formal Methods Group I am doing research on the investigation of tableau reasoning system for mordal logics and description logics. The areas associated with my reasearch include Automated Reasoning, Knowledge Representation, Multiagent System and Artificial Intelligence.