Tim French

BCM PhD W.Aust., Dr

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

    6009 Perth

    Australia

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

The University of Western Australia

Award Date: 27 Mar 2007

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
If you made any changes in Pure these will be visible here soon.