• The University of Western Australia (M002), 35 Stirling Highway,

    6009 Perth


Calculated based on number of publications stored in Pure and citations from Scopus
If you made any changes in Pure these will be visible here soon.

Personal profile


Tim French is a research primarily working in the fields of logic, artificial intelligence and knowledge representation and reasoning. His particular area of interest is resoning about uncertainty and modelling probabilistic reasoning and he has published several papers on awareness in mulitple agent system, probabilistic reasoning in games, and reasoning about informative updates in multi-agent systems. These include axiomatisation, decision procedures and expressivity results.

Tim is also interested in applying these ideas in industrial settings, and has worked on projects using automated planning for industrial process, capturing tacit and implicit knowledge from domain experts, and machine learning for complex processes.

Tim is the Regional Contest Director for the South Pacific Programming Contest, a subcontest of the Inter-Collegiate Programming Contest, and is the Programme Chair for Australasian Conference on Artificial Intelligence 2022.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 7 - Affordable and Clean Energy

Education/Academic qualification

Computer Science, DOCTOR OF PHILOSOPHY, Bisimulation Quantifiers for Modal Logic, The University of Western Australia

Award Date: 27 Mar 2007

Computer and Mathematical Science, BACHELOR OF COMPUTER AND MATHEMATICAL SCIENCES, The University of Western Australia

Award Date: 30 Nov 1999

Research expertise keywords

  • Algorithms
  • Automata theory
  • Automated reasoning
  • Formal methods in software
  • Logical foundations of computer science
  • Modal/temporal logic
  • Verification of systems
  • Reasoning about Uncertainty


Dive into the research topics where Tim French is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or