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.
Renate A. Schmidt
FM Group |
Last modified: 24 Jan 13
Copyright © 2005
Renate A. Schmidt, School of Computer Science, Man Univ, email@example.com