Prof. Tim French — Research Profile
The University of Western Australia · Department of Computer Science and Software Engineering
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Tim French at The University of Western Australia Department of Computer Science and Software Engineering lists Algorithms, Automata theory, Automated reasoning, Formal methods in software, Logical foundations of computer science, Modal/temporal logic, Verification of systems, Reasoning about Uncertainty as their registered research area.
Research keywords
Other labs in this department
- Ajmal Mian Lab
Computer vision, Deep learning, Machine learning, 3D face recognition, 3D object recognition, 3D shape analysis, Hyperspectral imaging and analysis, Human action recognition, Image set classification, Video description
- Amitava Datta Lab
Bioinformatics, Computer graphics, Mobile and wireless networks, Optical computing, Parallel computing, Virtual reality and immersive environments
- Arran Stewart Lab
- Atif Mansoor Lab
- Bruce Lu Lab
3D Spatial AI, 3D Geometry, Data Science
- Chelsea Edmonds Lab
Formal verification, Formalised Mathematics, Security, Formal methods in software, Interactive proof assistants, programming languages