Professor John Crossley

MA, DPhil

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)
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)