Professor John Crossley
Emeritus Professor, Monash University
MA, DPhil
Quondam Fellow since 1969
- Professor of Pure Mathematics (1969-94), then Professor of Logic, Monash University (1994-2006) (from 1969 to 2007)
- Visiting Fellow, All Souls College (from 1985 to 1986)
- Visiting Fellow, All Souls College (from 1978 to 1979)
- Quondam Fellow, All Souls College (from 1969)
- University Lecturer in Mathematical Logic and Fellow, All Souls College (from 1966 to 1969)
- Fellow and Tutor (Mathematics), St Catherine’s College (from 1963 to 1966)
- Postgraduate, Merton College, Oxford; Harmsworth Senior Scholar (1960–2), then Junior Research Fellow (from 1960 to 1963)
- Undergraduate, St John’s College, Oxford (from 1957 to 1960)
- Mathematical logic, theoretical computer science, medieval history (13th century Paris), Spain and the Philippines c. 1600.
- 'Una biblioteca en las Filipinas en 1611', to appear in Cuadernos para la investigación de la literatura hispánica (2010)
- (with Constant J. Mews, Catherine Jeffreys, Leigh McKinnon, and Carol Williams), 'Guy of Saint-Denis and the Compilation of Texts about Music in London, British Library, Harl. MS. 281', Electronic British Library Journal (2008), art. 6, pp. 1-34
- (with Iman Hafiz Poernomo and Martin Wirsing), Adapting proofs-as-programs: The Curry-Howard Protocol Springer Monographs in Computer Science (New York: Springer, 2005)
- (with Shen Kangshen and Anthony W.-C. Lun), Nine Chapters on the Mathematical Art – Companion & Commentary (OUP, 1999)
- (with A. Nerode), Combinatorial Functors, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 81 (Berlin: Springer, 1974)
- (with C.J. Ash, C. Brickhill, J.C. Stillwell and N.H. Williams), What is Mathematical Logic? (OUP, 1972)
- Australian Research Council Discovery Grant (2004–6): Experience versus authority: science, musical theory and observation in Grocheio’s De Musica and intellectual upheaval in the 13th century (with C.Mews and C.William, Monash Arts); amount: A$170,000. (from 2004 to 2006).