IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Prof.

Carroll Morgan

School of Computer Science and Engineering
University of New South Wales, Sydney
Australia
Research topics: Probabilistic Systems, Abstraction, Refinement, Security, Program Algebra, Semantic Doomains (updated at 2012-07-05)
http://www.cse.unsw.edu.au/~carrollm/