University of Leicester


STAFF — Roy L. Crole  M.A. M.Math. Ph.D. (Cambridge), FHEA

Associate Professor in Computer Science and Deputy Head of School
G10 Informatics Building
Department of Informatics,
University of Leicester,
University Road,
LE1 7RH.

T: +44 (0)116 252 3404
F: +44 (0)116 252 3604
E: R.Crole at le dot ac dot uk

  • Biography I attended The Maidstone School for Boys (now Oakwood Park Grammar School) and Churchill College, Cambridge. At Cambridge I read the Mathematical Tripos, and received my MA degree and the Certificate of Advanced Study in Mathematics (MMath) from the University of Cambridge. I remained at Churchill College while undertaking doctoral research, and was supervised by Professor Andrew Pitts at the University of Cambridge Computer Laboratory. I received a PhD degree for my thesis Programming Metalogics with a Fixpoint Type. I then moved to Imperial College in the University of London, and conducted one year of postdoctoral research funded by the ESPRIT project Categorical Logic in Computer Science. I subsequently obtained an SERC (now EPSRC ) Open Research Fellowship and remained at Imperial College for a further two years. I was appointed to the Department of Mathematics and Computer Science, Leicester, in 1994, and currently am an Associate Professor in the School of Informatics.
  • Research I develop the semantic theory, and implementations, of (meta) languages for programming and computation. At its heart, the idea is to develop new languages and better understand existing languages by using rigourous semantics that support development of and reasoning about programs. My research lies within the theoretical and mathematical arenas of Computer Science. To find out more please see the information and links below.

  • Teaching

    • Most recently I have taught a Course on Computer Architecture (MIPS and ARM) with Peer Assisted Learning tutorials. The approach has led to high achievements and pass rates.
    • Modules have included
    • In the past I have lectured on Denotational Semantics, Logic and Discrete Structures, Modal Logic, Operational Semantics, Theory of Functional Programming, and Practice of Functional Programming.
    • I regularly supervise third year BSc projects.
  • Administration

    • I have held a wide range range of posts within the School, and also the Faculty of Science (to 2010) and currently the College of Science and Engineering (2010 onwards).
    • Since Summer 2018 I am the Deputy Head of School.
    • These positions have included Academic (Teaching and Learning) Director; Undergraduate Admissions Coordinator; Chair of the Teaching Committee, and of the Curriculum Committee; Director of Part Time Teaching; Undergraduate Programmes Director; member of the Faculty Teaching and Learning Committee, and College Academic Committee; member of the Board of the Faculty of Science; member of the Management Committee; and QAA Coordinator.
    • I was the School Professional Accreditation Officer for many years. Our Undergraduate degrees are accredited up to and including 2023 entry, folllowing a successful 2018 Accreditation visit.
  • Roy L. Crole:

Author: Roy L. Crole (R.Crole at le dot ac dot uk), T: +44 (0)116 252 3404.
© University of Leicester. Last modified: 24th January 2020, 09:20:03
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.