The University of Western Australia
Asst/Prof Tim French
Assistant Professor
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 2794 |
| Fax | 6488 1089 |
| tim@csse.uwa.edu.au |
Major research interests
- Algorithms
- Automata theory
- Automated reasoning
- Formal methods in software
- Logical foundations of computer science
- Modal/temporal logic
- Verification of systems
Qualifications
BCM PhD W.Aust.
Research profile
