20012014

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

My current research interests includes:

  • logical diagrams, such as Euler, Venn  and spider diagrams, their meaning, uses and their effectiveness in communicating information;
  • the notion of mathematical proof, how it is understood and communicated;
  • machine learning.

Scholarly biography

University of Brighton
2020 - present: Interim Head of School of Architecture and Design
2016 - present: Head of School of Computing, Engineering and Mathematics
2011 - 2015: Principal Lecturer in Mathematics
2010 - 2011: Head of School of Computing, Engineering and Mathematics
2002 - 2010: Head of School of Computing, Mathematical and Information Sciences
1999 - 2002: Head of School of Computing and Mathematical Sciences
1992 - 1999: Senior Lecturer then Principal Lecturer in Mathematics

Open University
1989 - 2005: Associate Lecturer

Richmond College, the American University in London
1987 - 2002: Lecturer then Senior Lecturer in Mathematics

University of the Wesst Indies, Jamaica
1984 - 1987: Lecturer in Mathematics

Godalming College
1981 - 1984: Tutor in Mathematics

Education/Academic qualification

PhD, Durham University

Sep 1979Jul 1982

Award Date: 30 Jun 1983

Bachelor, University of Southampton

Sep 1975Jun 1978

Award Date: 7 Jul 1978

External positions

External Examiner, Liverpool John Moores University

2019 → …

Fingerprint Dive into the research topics where John Taylor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Research Output

  • 11 Conference contribution with ISSN or ISBN
  • 10 Article
  • 2 Book - authored
  • 1 Chapter

A normal form for spider diagrams of order

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 1 Dec 2014, In : Journal of Visual Languages and Computing. 25, 6, p. 935-944 10 p.

Research output: Contribution to journalArticle

  • Equivalences in Euler-based diagram systems through normal forms

    Fish, A. & Taylor, J., 1 Sep 2014, In : LMS Journal of Computation and Mathematics. 17, 1, p. 431-484 54 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • Understanding Mathematical Proof

    Taylor, J. & Garnier, R., 21 Mar 2014, CRC Press, Taylor & Francis Group. 414 p.

    Research output: Book/ReportBook - authored

  • On the expressiveness of spider diagrams and commutative star-free regular languages

    Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 27 Feb 2013, In : Journal of Visual Languages and Computing. 24, 4, p. 273-288 16 p.

    Research output: Contribution to journalArticle

  • Fragments of spider diagrams of order and their relative expressiveness

    Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 1 Jan 2010, Proceedings of the 6th international conference on diagrammatic representation and inference. Berlin Heidelberg: Springer-Verlag, Vol. 6170. p. 69-83 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Activities

    • 5 Taught course
    • 4 Membership of professional body

    External Examiner: Liverpool John Moores University

    John Taylor (Examiner)

    20192023

    Activity: External examination and supervisionTaught course

    Higher Education Academy: Senior Fellow (SFHEA) (External organisation)

    John Taylor (Fellow)

    2018

    Activity: External boards and professional/academic bodiesMembership of professional body

    External Examiner: Nottingham Trent University

    John Taylor (Examiner)

    20112016

    Activity: External examination and supervisionTaught course

    External Examiner: Southampton Solent University

    John Taylor (Examiner)

    20092013

    Activity: External examination and supervisionTaught course

    Higher Education Academy: Fellow (FHEA) (External organisation)

    John Taylor (Fellow)

    2003

    Activity: External boards and professional/academic bodiesMembership of professional body