Carroll Morgan

Professor
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 cse.unsw.edu.au
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.