Research output per year
Research output per year
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 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):
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
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.
- 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
-
Aleatoric Predicates: Reasoning about Marbles
French, T., 6 May 2024, AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. New Zealand: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2024-May. p. 2267-2269 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).Research output: Chapter in Book/Conference paper › Conference paper › peer-review
-
Assessing User Interface Design Features Using the Job Characteristics Model in Industrial Maintenance
Woods, C., Hodkiewicz, M., French, T. & Griffin, M., 19 Dec 2024, (E-pub ahead of print) In: International Journal of Human-Computer Interaction. 15 p.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus) -
Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning
Alvi, M., French, T., Keymer, P. & Cardell-Oliver, R., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 21, p. 23020-23026 7 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Automatic semantic knowledge extraction from electronic forms
Wu, H., French, T., Liu, W. & Hodkiewicz, M., Oct 2024, In: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability. 238, 5, p. 933-944 12 p.Research output: Contribution to journal › Article › peer-review
2 Citations (Web of Science) -
CySpider: A Neural Semantic Parsing Corpus with Baseline Models for Property Graphs
Zhao, Z., Liu, W., French, T. & Stewart, M., 2024, AI 2023: Advances in Artificial Intelligence - 36th Australasian Joint Conference on Artificial Intelligence, AI 2023, Proceedings. Liu, T., Webb, G., Yue, L. & Wang, D. (eds.). Springer Science + Business Media, p. 120-132 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14472 LNAI).Research output: Chapter in Book/Conference paper › Conference paper › peer-review
2 Citations (Scopus)
-
Advancing observations and predictions of WA marine heatwaves
Jones, N. (Investigator 01), Langlois, T. (Investigator 02), Rayson, M. (Investigator 03), Janekovic, I. (Investigator 04), Pattiaratchi, C. (Investigator 05), Lowe, R. (Investigator 06), Hetzel, Y. (Investigator 07), Cuttler, M. (Investigator 08), Antoine, D. (Investigator 09), Lo, J. (Investigator 10), French, T. (Investigator 11), Hickey, S. (Investigator 12), Kala, J. (Investigator 13), Benthuysen, J. (Investigator 14), Cahill, M. (Investigator 15), Chandrapavan, A. (Investigator 16), Caputi, N. (Investigator 17), Spillman, C. (Investigator 18), Ross, C. (Investigator 19) & McMahon, K. (Investigator 20)
Department of Jobs Tourism Science and Innovation (Western Australia)
1/10/22 → 30/04/27
Project: Research
-
ARC Research Hub for Transforming Energy Infrastructure Through Digital Engineering
Watson, P. (Investigator 01), Jones, N. (Investigator 02), Draper, S. (Investigator 03), Bransby, F. (Investigator 04), Cripps, E. (Investigator 05), O'Loughlin, C. (Investigator 06), Hansen, J. (Investigator 07), An, H. (Investigator 08), Karrech, A. (Investigator 09), Doherty, J. (Investigator 10), Ivey, G. (Investigator 11), Randolph, M. (Investigator 12), Zhao, W. (Investigator 13), Wolgamot, H. (Investigator 14), Stemler, T. (Investigator 15), Cheng, L. (Investigator 16), French, T. (Investigator 17), Mian, A. (Investigator 18), Small, M. (Investigator 19), Hodkiewicz, M. (Investigator 20) & Grime, A. (Investigator 21)
ARC Australian Research Council
1/07/21 → 30/06/26
Project: Research
-
Multi-Objective Genetic Algorithm Optimisation For Network Widening and Maintenance Scheduling
Sun, C. (Investigator 01), French, T. (Investigator 02), Hu, Y. (Investigator 03), While, R. (Investigator 04), Reynolds, M. (Investigator 05) & Biermann, S. (Investigator 06)
1/11/19 → 31/08/20
Project: Research
-
ARC Training Centre for Transforming Maintenance through Data Science
Rohl, A. (Investigator 01), Small, M. (Investigator 02), Hodkiewicz, M. (Investigator 03), Loxton, R. (Investigator 04), O'Halloran, K. (Investigator 05), Tan, T. (Investigator 06), Calo, V. (Investigator 07), Reynolds, M. (Investigator 08), Liu, W. (Investigator 09), While, R. (Investigator 10), French, T. (Investigator 11), Cripps, E. (Investigator 12), Cardell-Oliver, R. (Investigator 13) & Correa, D. (Investigator 14)
ARC Australian Research Council
1/01/19 → 24/02/25
Project: Research
-
Establishment of Western Australia Smart Ship Research Centre
French, T. (Investigator 01), McDonald, C. (Investigator 02) & Reynolds, M. (Investigator 03)
20/12/17 → 28/02/18
Project: Research