Formal Specification and Refinement, Probabilistic Refinement, Concurrency.
Fields of Research (FoR)Computational Logic and Formal Languages, Software Engineering, Applied Discrete Mathematics
Professor Carroll Morgan is professor in the School of Computer Science and Engineering. His research interests include formal specification and program development by refinement, probabilistic semantics, concurrency and quantitative information flow (cyber security).
My Research Activities
Quantitative information flow (cyber-security); differential privacy; concurrency.
Computer Science Building K17
UNSW Kensington Campus
Sydney NSW 2052