The University of Queensland Homepage
Takes you back to the UQ reSEARCHers Homepage You are at the UQ reSEARCHers site
  
      
   » Contacts
   » Biography
   » Research Groups
   » Projects
   » Publications
   » Colleagues
   » Print Profile

   » Search
   » Browse
   » Subscription
   » Home
   » About

  »  UQ Experts
  »  UQ locks in occupancy on Indooroopilly bushland property
May 22 2013
  »  Depression linked to almost doubled stroke risk in middle-aged women
May 17 2013
  »  UQ scientist wins top prize for battling disease
May 16 2013
  »  More Research News

Dr Robert Colvin   
Senior Research Fellow

 Biography

Dependability of complex computer systems

PhD, ITEE, UQ, 2002
Formal methods of software development; specifically with the refinement calculus for logic programs framework.
Post Doc., MSCS, VUW, 2003-2005
Verification of concurrent data structures; specifically lock-free implementations
Rearch Fellow, ACCS, ITEE, UQ, 2005-
Dependability of complex computer systems

 Links
 
   ITEE Homepage
 
 Keywords
  
   Science and Technology: Software Engineering, Science and Technology: Formal Semantics
  
© 2006 The University of Queensland, Brisbane, Australia
ABN 63 942 912 684
CRICOS Provider No: 00025B
Authorised by: Deputy Vice Chancellor (Research)
Maintained by: rps@uq.edu.au