Dr Ranald Clouston
Areas of expertise
- Computation Theory And Mathematics 0802
- Computational Logic And Formal Languages 080203
- Category Theory, K Theory, Homological Algebra 010103
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.
Biography
I obtained my PhD at the University of Cambridge. Prior to that I studied up to Masters level at Victoria University of Wellington.
Publications
- Nominal Logic with Equations Only. In Proceedings of the 6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2011). Electronic Proceedings in Theoretical Computer Science, vol. 71, pp. 44-57 (2011).
- Clouston, R 2011, 'Nominal Lawvere Theories', Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Lev Beklemishev and Ruy de Queiroz (eds.), Lecture Notes in Computer Science vol. 6642, Springer-Verlag, New York, pp. 67-83.
- Clouston, R 2010, 'Binding in Nominal Equational Logic', Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), Michael Mislove and Peter Selinger (Eds.), Electronic Notes in Theoretical Computer Science, vol. 265, pp. 259-276.
- Clouston, R & Pitts, A 2007, 'Nominal Equational Logic', Computation, Meaning and Logic: Articles dedicated to Gordon Plotkin, Luca Cardelli, Marcelo Fiore and Glynn Winskel (Eds.), Electronic Notes in Theoretical Computer Science, vol. 172, pp. 223-257.
- Clouston, R & Goldblatt, R 2005, 'Covarieties and Coalgebras: Comonads and Coequations', International Colloquium on Theoretical Aspects of Computing - ICTAC 2005, ed. Hung, Dang Van; Wirsing, Martin (Eds.), Lecture Notes in Computer Science vol. 3722, Springer, New York, pp. 288-302.