Carroll Morgan

Professor
Aust. Professional Fellow ARC

Office	K17 201D
Phone	+61 2 9385 5317 (Internal: x55317)
Fax	+61 2 9385 5995 (Internal: x55995)
Email
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.