Tim French

Dr, BCM PhD W.Aust.

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

    6009 Perth

    Australia

  • Source: Scopus
  • Calculated using citation counts from Scopus for publications in the UWA Profiles and Research Repository
If you made any changes in Pure these will be visible here soon.

Personal profile

Biography

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 plannig for industrial process, capturing tacit and implicit knowledge from domain experts, and machine learning for complex processes.

Outside of research, 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 Software Engineering at UWA. 

Education/Academic qualification

Computer Science, DOCTOR OF PHILOSOPHY, 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

Fingerprint

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.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.