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
- 1 Similar Profiles
-
Modal dependent type theory and dependent right adjoints
Birkedal, L., Clouston, R., Mannaa, B., Ejlers Mogelberg, R., Pitts, A. M. & Spitters, B., 1 Feb 2020, In: Mathematical Structures in Computer Science. 30, 2, p. 118-138 21 p.Research output: Contribution to journal › Article › peer-review
Open Access34 Citations (Scopus) -
Syntactic interpolation for tense logics and bi-intuitionistic logic via nested sequents
Lyon, T., Tiu, A., Goré, R. & Clouston, R., Jan 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 152).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
16 Citations (Scopus) -
Modular labelled sequent calculi for abstract separation logics
Hóu, Z., Clouston, R., Goré, R. & Tiu, A., Apr 2018, In: ACM Transactions on Computational Logic. 19, 2, 13.Research output: Contribution to journal › Article › peer-review
Open Access4 Citations (Scopus) -
Sequent calculus in the topos of trees
Clouston, R. & Goré, R., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pitts, A. (ed.). Springer Verlag, p. 133-147 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9034).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
Open Access8 Citations (Scopus) -
From display calculi to deep nested sequent calculi: Formalised for full intuitionistic linear logic
Dawson, J. E., Clouston, R., Goré, R. & Tiu, A., 2014, Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Proceedings. Springer Verlag, p. 250-264 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8705 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
Open Access3 Citations (Scopus)