Zhen Li


My photo

Zhen Li
Room 2.108
School of Computer Science
University of Manchester
Kilburn Building
Oxford Road
M13 9PL

Tel: +44 (0)161 275 6266
Fax: +44 (0)161 275 6204
Email: lizemail_address


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.

Last updated 03 Feb 2004.