Carroll Morgan

Aust. Professional Fellow ARC

[PHOTO: Carroll Morgan]
Office K17 201D
Phone +61 2 9385 5317 (Internal: x55317)
Fax +61 2 9385 5995 (Internal: x55995)
Email carrollm AT
Mail School of Computer Science and Engineering
The University of New South Wales
Sydney 2052, Australia
Personal Website Further details are in my Home Page

Research Areas

  • Formal Specification and Refinement
  • Probabilistic Refinement
  • Concurrency

Update your CSE Profile preferences in myCSE.