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