Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
20052020

Research activity per year

Personal profile

Biography

I studied as an undergraduate at Victoria University of Wellington, completing a Master's thesis under the supervision of Robert Goldblatt. I then went to the University of Cambridge to complete a PhD with Andrew Pitts. My first postdoc was at Australian National University, where I collaborated with Rajeev Goré and Alwen Tiu, and my second was in Aarhus University, where I worked with Lars Birkedal. I then returned to Australian National University to take up a teaching-focused job, taking main responsibility for introducing undergraduate students to computer science through the course 'Programming as Problem Solving' since 2019.

Qualifications

PhD from the University of Cambridge; MSc, BSc (Hons) and BSc from Victoria University of Wellington

Research Interests

I am interested in the application of formal logic to problems in computer science, particularly the use of intuitionistic logic, modal logic, type theory, and category theory to describe programming languages and mechanisable foundations for mathematics.

Research student supervision

  • Registered to supervise

Fingerprint

Dive into the research topics where Ranald Clouston is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles