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

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. (with Dr Wei Liu) Formal specification of cooperative behaviour between robots.
   
3. (with Dr Art Diggle, Department of Agriculture, Western Australia) 

   Our research group would be interested in an efficient method for representing and manipulating populations of organisms stratified by genotype.  Some sort of multi-set is quite possibly appropriate, with the information for individual genotypes being {g, n} where g is a description of the genotype and n is the number of individuals with that genotype.  It is notable that total populations may be very large (millions), that the total number of possible genotypes increases rapidly with the number of genes being considered (G³ where G is the number of genes, for diploid genotypes with 2 alleles per gene and no linkage), but that some genotypes will often be much more frequent than others.

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

   ---

7. Detecting  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.
8. Model Checking systems against specifications with hidden (ie quantified) propositions (joint supervision with Tim French): see the model checking site at CMU
   
9.   Model Check Real-time systems modeled as networks of timed automata.   See the Uppaal system.
   
10. Automated production of test suites for data structure software.
    
11.   Labview-like front-end to Java for telelabs style software development (partial joint supervision with Peter Jones and/or Mech Eng)
12. 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.
13. (with Terry Woodings) Software Requirements Prioritization with Chunks.
14. Visualization of Temporal Properties or Queries: see here for some interesting related links
15. Modelling local wind or tidal behaviour using cellular automata.