Carroll Morgan

Carroll Morgan is affiliated with the University of New South Wales in Australia and has contributed extensively to the fields of computer science and social sciences. Their research primarily focuses on areas including privacy-preserving technologies, formal methods in verification, and data quality and management.

Their main fields of study encompass:

• Computer Science
• Social Sciences

Within these disciplines, Morgan's subfields of concentration include:

• Artificial Intelligence
• Sociology and Political Science
• Computational Theory and Mathematics
• Management Science and Operations Research
• Computer Science Applications

Key research topics addressed in Morgan's work cover:

• Privacy-Preserving Technologies in Data
• Privacy, Security, and Data Protection
• Formal Methods in Verification
• Data Quality and Management
• Logic, programming, and type systems
• Security and Verification in Computing
• Teaching and Learning Programming

Among recent publications, the following papers illustrate the scope and venues of Morgan's research contributions:

• On Formal Methods Thinking in Computer Science Education, 2024, published in Formal Aspects of Computing
• Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata, 2022, published in Proceedings on Privacy Enhancing Technologies
• Correctness by Construction for Probabilistic Programs, 2020, published in Lecture notes in computer science
• BVM library, 2021, published in Zenodo (CERN European Organization for Nuclear Research)
• Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata, 2022, published in arXiv (Cornell University)

Morgan frequently collaborates with other researchers, with notable co-authors including:

• Annabelle McIver
• Mário S. Alvim
• Konstantinos Chatzikokolakis
• Catuscia Palamidessi
• Geoffrey Smith

In terms of publication venues, Morgan's work is often featured in:

• arXiv (Cornell University)
• Formal Aspects of Computing
• Proceedings on Privacy Enhancing Technologies
• Lecture notes in computer science
• Zenodo (CERN European Organization for Nuclear Research)