Senior Lecturer
(Automated reasoning, symbolic computing)
BSc HONS (Tas), PhD (TAS)
Email: mrb@maths.uq.edu.au
Phone: (07) 33657905
Fax: (07) 3365 1477
Room: 67-755
RESEARCH INFORMATION
via UQ Research Solutions
For personal information, see personal web page.