Teaching

Currently I am involved in teaching the following course units.

Previous teaching:

Lists of student projects can be found here:

PhD projects

Students interested in doing a PhD in areas related to ontology engineering, knowledge representation and reasoning, knowledge-based AI, automated reasoning, logic, logic-based multi-agent systems and any topics close to my research interests are welcome to contact me to discuss possible projects. I am currently particularly interested in supervising projects on these topics.

Current and former students


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 23 Jul 22
Copyright © 2005 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk