Emeritus Professor Carroll Morgan

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 Mathematics

SEO tags

Expanding Knowledge in the Information and Computing Sciences

Expanding Knowledge in the Mathematical Sciences

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.