Researcher

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

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.

...view more

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.

View less

Location

School of Computer Science and Engineering
Computer Science Building K17
UNSW Kensington Campus
Sydney NSW 2052