- Designation:
-
Research Fellow,
ARC Centre for Complex Systems,
School of Information Technology and Electrical Engineering,
University of Queensland. - Projects:
-
- Building Dependability into Complex Computer-Based Systems
- (Also see Behavior Engineering website)
- Validation and rapid prototyping for Behavior Trees
- Foundations of Behavior Trees
- Verification of lock-free algorithms
- Modelling fear conditioning in rats
-
My publications. (Bibtex entries and other details for some of these can be found on the DBLP website .)
Room: 305, Building 78 (GP South)
Email: robert@itee.uq.edu.au
Phone: (+61 7) 336 51629
