Personal profile
Biography
Tim French is an Associate Professor in the Department of Computer Science and Software Engineering, working in logic, artificial intelligence, and knowledge representation and reasoning. His particular interest is reasoning about uncertainty and probabilistic modelling, and he has published on awareness in multi-agent systems, probabilistic reasoning in games, and informative updates in multi-agent systems, including axiomatisations, 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 processes, capturing tacit and implicit knowledge from domain experts, and machine learning for complex processes.
Tim teaches a range of topics across theoretical computer science, artificial intelligence, and knowledge representation. He is currently supervising PhD, honours, and masters projects in machine learning, generative AI, and models of reasoning and uncertainty.
Tim is the Regional Contest Director for the South Pacific Programming Contest, a subcontest of the International Collegiate Programming Contest.
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
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
A novel large language model–inspired transformer framework for reconstructing subsurface soil properties at untested locations from sparse cone penetrometer test data
Liu, Q., Bertolacci, M., Bransby, F., French, T. & Watson, P., May 2026, In: Computers and Geotechnics. 193, 23 p., 107986.Research output: Contribution to journal › Article › peer-review
-
Enhancing RAG System Performance Through Semantic Layout Chunking
Qin, M., Sun, Q., French, T. & Liu, W., 2026, AI 2025: Advances in Artificial Intelligence - 38th Australasian Joint Conference on Artificial Intelligence, AI 2025, Proceedings. Liu, M., Yu, X., Xu, C. & Song, Y. (eds.). USA: Springer Science + Business Media, p. 28-39 12 p. (Lecture Notes in Computer Science; vol. 16370 LNAI).Research output: Chapter in Book/Conference paper › Conference paper › peer-review
-
PODiff: Latent Diffusion in Proper Orthogonal Decomposition Space for Scientific Super-Resolution
Jadhav, O., French, T., Rayson, M. & Jones, N., 1 May 2026, (Accepted/In press) International Conference on Machine Learning 2026 (ICML) .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., 2025, In: International Journal of Human-Computer Interaction. 41, 16, p. 10045-10059 15 p.Research output: Contribution to journal › Article › peer-review
2 Link opens in a new tab Citations (Web of Science) -
Deep Learning-Based Statistical Downscaling of Sea Surface Temperature Using a Residual Corrective Neural Network
Jadhav, O., French, T., Janeković, I., Jones, N. & Rayson, M., 13 Aug 2025, ESS Open Archive.Research output: Working paper › Preprint
Open Access
-
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 → 31/12/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