The University of Western Australia
Dr Rowan Davies
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 2639 |
| Fax | 6488 1089 |
| rowan@csse.uwa.edu.au | |
| Personal homepage | http://www.csse.uwa.edu.au/~rowan |
Major research interests
- Computer vision
- Formal methods in software
- Functional programming
- Logical foundations of computer science
- Modal/temporal logic
- Programming languages
- Type systems
- Verification of systems
Qualifications
BCM W.Aust., MSc PhD Carnegie Mellon
Research profile
