Ranald Clouston

Lecturer and HDR Convener Computing Foundations

Picture of Ranald Clouston

Location
CSIT Building 108, Office N214

Email
ranald.clouston@anu.edu.au

Phone
+61 2 6125 7833

Clusters
Computing Foundations

Publications
dblp
Google Scholar

Interests

Research

I am interested in creating new logics, or adapting old ones, to solve problems in computer science. For example, I have studied logics for recursively defined infinite structures such as streams, for mutable resources such as memory locations, and for handling variable names. I am particularly interested in how logics can be turned into type systems to guarantee well-behaved code, or to support formally checked mathematics.

Biography

I studied Logic and Computation as an undergraduate at Victoria University of Wellington in New Zealand, then completed a PhD at the University of Cambridge in 2010. I worked as a research fellow at ANU, then as a postdoc and assistant lecturer at Aarhus University in Denmark, then returned to ANU in 2018 to take up a Lecturer position.

Activities & Awards

You are on Aboriginal land.

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

bars search times arrow-up