Academic Staff information    

Dr Tim French   PhD W.Aust BCM W.Aust  Lecturer

Tim works in the area of proof theories for temporal and epistemic logic, as well as the application of modal logics for formal methods for software engineering. He is also interested in automata theory.

Contact details:

	Dr Tim French School of Computer Science & Software Engineering The University of Western Australia M002, 35 Stirling Highway Crawley, Western Australia, 6009
	+61 8 6488 2794
	+61 8 6488 1089
	E-Mail:
	Homepage: http://people.csse.uwa.edu.au/tim