Tim French's Home Page

Below is a list of some of my publications, in chronological order.

• John McCabe-Dansted - A temporal logic of robustness
• Nazri Kama - A traceability model for change impact analysis during software development
• Mohammad Behdad - Learning Classifier Systems for Fraud Detection
• Ji Bian

I will periodically describe Professional Computing, Honours, Masters, and PhD projects I have available here. Please contact me if you are interested in any of these projects.

• Specifying and refining security policies The project would consider the implementation of tools to support the formal reasoning about security policies. Particularly, we would be interested in representing the knowledge of a group of agents, and how these agents can evolve there knowledge over time. The project will involve implementing known algorithms to automatically determine the correctness of such policies.
• Automated collection of meta-data from software repositories
  (with A/Prof Mark Reynolds). Software development companies often maintain repositories of software modules they have previously used. To efficiently reuse these modules they must have sufficient meta-data about the modules purpose, and this meta-data is often lacking. This project would look at methods to automatically generate such meta-data.
• Algorithms for model-checking (with A/Prof Mark Reynolds).
  Model-checking is the process of verifying that an implementation satisfies some formally specified property. This project would investigate the development of efficient algorithms for model-checking complex properties using games. This is a very difficult problem and it is not expected that a complete solution will be produced.
• Reasoning about Trust
  Trust is an integral concept in many areas such as security (do we trust someone is who they say they are), data management (do we trust a database to keep our personal details private) and sensor networks (do we trust that the data from a sensor is accurate). In many of these applications trust i s dealt with in an ad hoc manner. This project would look at designing theories for reasoning about trust in a general sense. We would be interested in designing algorithms to answer questions such as "how many sensors do I need to trust in order to infer property p?", or "Can I trust agent Alice, and not trust agent Bob at the same time?". The project would establish a common semantic for trust based problems and design some simple algorithms for reasoning about trust.

I am on the left. Isaac is in the front. Diane is on the right. And Ethan's hanging around.