Ranald Clouston

Ranald Clouston is a Lecturer in the ANU College of Systems & Society at the Australian National University. His research focuses on developing logics and type systems to ensure well-behaved computational processes and support formal mathematics. He holds a PhD from the University of Cambridge (2010) and previously worked as a research fellow at ANU, a postdoc and assistant lecturer at Aarhus University in Denmark, before returning to ANU in 2018.

His research interests span theoretical computer science and mathematical logic, including modal logics, dependent type theory, program verification, and categorical semantics. Recent work emphasizes integrating modal operators into type systems, developing guarded recursion frameworks, and advancing formal methods for reasoning about infinite structures and mutable resources.

Ranald’s publications reflect a deep engagement with foundational issues in logic and programming semantics. His articles explore topics such as interpolation theorems for tense logics, modular proof systems for separation logics, and guarded type theories for coinductive reasoning. These contributions highlight his expertise in bridging abstract logical principles with practical computational applications.

While no specific scientific awards are listed, his academic trajectory demonstrates sustained scholarly achievement. His advising and grant activities remain unspecified in available records. No lab or team affiliations are explicitly mentioned in the provided information.