UWA Logo Computer Science & Software Engineering
Honours, Grad.Dip., and Masters(Coursework) projects offered in 2006
   Faculty Home  |  School Home  |  School Teaching  |  2006 Projects

A/Prof Mark Reynolds, mark@csse.uwa.edu.au

This page presents a list of possible Fourth Year Research Projects in the CSSE School which
Mark Reynolds would be interested in supervising.

With appropriate adjustment they could be suitable for either the Software Engineering Project (ENDP4221 (12 points)) or the 24 point Honours Research Project for end-on honours courses (Bachelor of Computer and Mathematical Sciences, Bachelor of Computer Science, and Bachelor of Science)
or 24 point Masters Projects.
General Information about Projects can be found here.

NOTE 1: I am only able to supervise about 4 projects in any one year, so do tell me early if you are keen to undertake any of these projects.

NOTE 2: I am very interested in supervising other projects, as suggested by students, on topics including but not restricted to SE methodology, temporal representation and reasoning, and formal verification methods.

Please feel free to make an appointment to come and discuss possible projects with me.

Projects

  1. (with Tim French and Perth IBM software development lab) Deveoping ways of managing the extraction of the purpose of software modules held in company repositories.
  2. Aibo(with Dr Wei Liu) Formal specification of cooperative behaviour between robots.
  3. Visualization of Temporal Properties or Queries: see here for some interesting related links
  4. rainTemporal-spatial reasoning with incomplete information, in this case weather radar images, to predict time of rain front hitting a certain point within the metro area. See current radar images here. There is a brief introduction to the field here. (Joint supervision with Dr Du Huynh).
  5. Generation (via genetic programming) of simple rules for approximate solutions in complex situations. Eg, route planning in Rogaining.
  6. A data structure to store and manipulate populations of organisms stratified by genotype. (With Dr Art Diggle, Department of Agriculture, Western Australia).
  7. Natural(ish) Language Querying of Simple Temporal Situations: Given a model of several objects moving about through several locations, allow a user to use quite natural language temporal expressions (eg, will move into, did move out of, stayed until, has been there since) to query the model. See some recent related work here.
  8. eventsDetecting  Unusual Events In Surveillance Scenes
    An automatic surveillance system requires detection of events that are unusual to the known environment. Unusual events may include a sudden change of motion speed within the scene, or detection of suspicious motion of an individual. Use a formal temporal logic language to specify what higher order events count as suspicious. Joint supervision with Dr Eunjung Holden : see more here.
  9. Model Checking systems against specifications with hidden (ie quantified) propositions (joint supervision with Tim French): see the model checking site at CMU
  10. uppaal  Model Check Real-time systems modeled as networks of timed automata.   See the Uppaal system.
  11. Automated production of test suites for data structure software.
  12. labview  Labview-like front-end to Java for telelabs style software development (partial joint supervision with Peter Jones and/or Mech Eng)
  13. Reasoning about systems of Agents:
    Various projects to do with logical formal reasoning about properties of systems of agents. (Jointly supervised by various combinations of Dr Wei Liu, Tim French and A/P Mark Reynolds). Contact us for details and/or discussions.
  14. (with Terry Woodings) Software Requirements Prioritization with Chunks.
Top of Page
CRICOS Provider Code: 00126G