software design group

Carroll Morgan is an Australian Professorial Fellow at the University of New South Wales in Sydney, and is visiting CSAIL until January 2008. His current interests are probabilistic models for concurrency and security.

He was educated at UNSW (BSc) and the University of Sydney (PhD), and then re-educated at Oxford's Programming Research Group, from 1982-99, where he was variously Research Officer, University Lecturer/Reader, Tutorial Fellow (Pembroke) and College Lecturer (Somerville). He is best known for his work on Z, on the Refinement Calculus and on probabilistic semantics. He is the author of Programming from Specifications and (jointly) Abstraction, Refinement and Proof for Probabilistic Systems. He is an editor of ACM's ToCL and a member of IFIP Working Groups 2.1 (Algorithmic Languages and Calculi) and 2.3 (Programming Methodology), and is editor (jointly) of a collection Programming Methodology from the latter group. He has had two stints in industry: in the ’70s programming mainframe accounting systems in FORTRAN; and in the ’00s using J2EE to produce online superannuation advisors.

Carroll is currently teaching a course on probabilistic non-determinism.

email: carroll@csail.mit.edu
url: http://www.cse.unsw.edu.au/~carrollm/