You are here

Professor John Crossley

MA, DPhil
Quondam Fellow since 1969
Emeritus Professor, Monash University
Professor John Crossley
  • Background

    • 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)
  • Research interests

    • Mathematical logic, theoretical computer science, medieval history (13th century Paris), Spain and the Philippines c. 1600.
  • Selected publications

    • '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)
  • Research awards and grants

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