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.
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