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., 2024, In: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2024-May, p. 2267-2269 3 p.Research output: Contribution to journal › Conference article › peer-review
-
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 -
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
-
Enhanced Deep Predictive Modelling of Wastewater Plants With Limited Data
Alvi, M., French, T., Cardell-Oliver, R., Batstone, D. & Akhtar, N., 1 Feb 2024, In: IEEE Transactions on Industrial Informatics. 20, 2, p. 1920-1930 11 p.Research output: Contribution to journal › Article › peer-review
2 Citations (Scopus) -
MaintIE: A Fine-Grained Annotation Schema and Benchmark for Information Extraction from Maintenance Short Texts.
Bikaun, T. K., French, T., Stewart, M., Liu, W. & Hodkiewicz, M., 2024, LREC/COLING: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024). Calzolari, N., Kan, M-Y., Hoste, V., Lenci, A., Sakti, S. & Xue, N. (eds.). Association for Computational Linguistics (ACL), p. 10939-10951 13 p. (2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings).Research output: Chapter in Book/Conference paper › Conference paper › peer-review
Open AccessFile17 Downloads (Pure)
-
Advancing observations and predictions of WA marine heatwaves
Jones, N., Langlois, T., Rayson, M., Janekovic, I., Pattiaratchi, C., Lowe, R., Hetzel, Y., Cuttler, M., Antoine, D., Lo, J., French, T., Hickey, S., Kala, J., Benthuysen, J., Cahill, M., Chandrapavan, A., Caputi, N., Spillman, C., Ross, C. & McMahon, K.
Department of Jobs Tourism Science and Innovation (Western Australia)
1/10/22 → 1/10/26
Project: Research
-
ARC Research Hub for Transforming Energy Infrastructure Through Digital Engineering
Watson, P., Jones, N., Draper, S., Bransby, F., Cripps, E., O'Loughlin, C., Hansen, J., An, H., Karrech, A., Doherty, J., Ivey, G., Randolph, M., Zhao, W., Wolgamot, H., Stemler, T., Cheng, L., French, T., Mian, A., Small, M., Hodkiewicz, M. & Grime, A.
ARC Australian Research Council
1/07/21 → 30/06/26
Project: Research
-
ARC Training Centre for Transforming Maintenance through Data Science
Rohl, A., Small, M., Hodkiewicz, M., Loxton, R., O'Halloran, K., Tan, T., Calo, V., Reynolds, M., Liu, W., While, R., French, T., Cripps, E., Cardell-Oliver, R. & Correa, D.
ARC Australian Research Council
1/01/19 → 24/02/25
Project: Research
-
Multi-Objective Genetic Algorithm Optimisation For Network Widening and Maintenance Scheduling
Sun, C., French, T., Hu, Y., While, R., Reynolds, M. & Biermann, S.
1/11/19 → 31/08/20
Project: Research
-
Establishment of Western Australia Smart Ship Research Centre
French, T., McDonald, C. & Reynolds, M.
20/12/17 → 28/02/18
Project: Research