The University of Western Australia
Professor Mark Reynolds
Deputy Head of School
Contact details
| Address | School of Computer Science and Software Engineering The University of Western Australia (M002) 35 Stirling Highway CRAWLEY WA 6009 Australia |
|---|---|
| Phone | 6488 2279 |
| mark@csse.uwa.edu.au |
Major research interests
- Artificial intelligence
- Automated reasoning
- Formal methods in software
- Formal specification and verification of concurrent systems
- Logical foundations of computer science
- Modal/temporal logic
- Reasoning about agent interaction and collaboration
- Software engineering
- Verification of systems
Qualifications
BSc DipEd W.Aust., DipEd PhD Lond.
Research profile
