Skip navigation
The Australian National University
photo of Ranald

Dr Ranald CLOUSTON

Position:Research Fellow
Email:JavaScript must be enabled to display this email address.
Personal website:http://users.cecs.anu.edu.au/~rclouston/
Phone:57030
Building:RSISE (115)
Room:B220
Groups:CS, LC
Staff category:Academic

Research interests:

I am interested in the application of logic, algebra and category theory to computer science. In particular, I have looked at the ubiquitous computer science notion of names that may be bound, and co-created Nominal Equational Logic for formalisms definable via equations modulated by side conditions regarding the 'freshness' of names.

I am currently interested in generalising this logic to deal with the complex and subtle binding structure that may occur in realistic computing applications.

My blog The Updated Scholar provides short reviews of papers in my area (as recommended by Google Scholar Updates).

Duties:

I am a postdoctoral researcher with the Logic and Computation group in the Research School of Computer Science.

Bio:

I obtained my PhD at the University of Cambridge. Prior to that I studied up to Masters level at Victoria University of Wellington.

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.