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 automated reasoning, logic, knowledge representation, logic-based multi-agent systems and any topics close to my research interests are welcome to have a chat with me about possible projects. Since every year PhD studentships are awarded from April onwards it is advisable to do so early in the academic year. 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: 27 Jan 17
Copyright © 2005 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk