Prof. Mark Reynolds — 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. Mark Reynolds at The University of Western Australia Department of Computer Science and Software Engineering lists Artificial intelligence, Automated reasoning, Formal methods in software, Formal specification and verification of concurrent systems, Logic, Logical foundations of computer science, Modal/temporal logic, Reasoning about agent interaction and collaboration, Software engineering, Verification of systems 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