My Expertise
Formal Specification and Refinement, Probabilistic Refinement, Concurrency, (Cyber)Security Theory.
Fields of Research (FoR)
Cybersecurity and privacy, Concurrency theory, Formal methods for software, Computational Logic and Formal Languages, Software Engineering, Applied Discrete MathematicsSEO tags
Biography
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).
He studied at UNSW (BSc) and Sydney University (PhD), and was at Oxford University from 1982-99. Since 2000 he has been with UNSW and (now called) Trustworthy Systems jointly.
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).
He studied at UNSW (BSc) and Sydney University (PhD), and was at Oxford University from 1982-99. Since 2000 he has been with UNSW and (now called) Trustworthy Systems jointly.
My Research Activities
Quantitative information flow (cyber-security); differential privacy; concurrency and Formal Methods generally.
Location
Computer Science Building K17
UNSW Kensington Campus
Sydney NSW 2052
Publications
ORCID as entered in ROS
https://orcid.org/0000-0002-8535-9068
