Researcher

Professor Carroll Morgan

My Expertise

Formal Specification and Refinement, Probabilistic Refinement, Concurrency.

 

Fields of Research (FoR)

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).


My Research Activities

Quantitative information flow (cyber-security); differential privacy; concurrency.

Location

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


Contact

+61 2 9490 5991
55995