Currently I am involved in teaching the following course units.
Lists of student projects can be found here:
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
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
Renate A. Schmidt
FM Group |
Last modified: 27 Jan 17
Copyright © 2005
Renate A. Schmidt, School of Computer Science, Man Univ, email@example.com