University of Leicester

computer science

photo of Roy L. Crole

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

Senior Lecturer in Computer Science
G10 Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 3404
F: +44 (0)116 252 3604
E: R.CroleXmcs;le;ac;uk

  • Research Interests: Categorical Type Theory, Mechanized Reasoning, Semantics of Programming Languages,
  • Teaching Interests: Semantics, Functional Programming, and Computer Architecture


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 from the University of Cambridge. I remained at Churchill College while undertaking doctoral research, and was supervised by 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 am currently a member of the Department of Computer Science within the School of Mathematics and Computer Science which is now comprised of two separate departments.

  • Research

  • Teaching

    • I currently lecture a first year undergraduate course on Computer Systems and organize a first year undergraduate course on Study Skills and Professional Practice.
    • In the past I have lectured to undergraduates 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 Computer Science projects, MSc projects, and Software Engineering Projects.

  • Administration

    • I am Admissions Coordinator for the BSc degrees.
    • I am Liason Officer for the School of Management.
    • I am the Departmental Professional Accreditation Officer, and was responsible for the Department's BCS Accreditation visits in 1999, 2003 and most recently in 2008.
    • I have held a wide range range of posts with the Department and Faculty of Science, including Chair of the Teaching Committee, and of the Curriculum Committee; Director of Part Time Teaching; BSc Director; member of the Faculty Teaching and Learning Committee; member of the Board of the Faculty of Science; member of the Management Committee; and QAA Coordinator.

| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]|MCS People|[University Index A-Z]|[University Search]|[University Help]|

Author: Roy L. Crole (R.CroleXmcs;le;ac;uk), T: +44 (0)116 252 3404.
© University of Leicester. Last modified: 4th June 2009, 11:21:02.
CS Web Maintainer. Any opinions expressed on this page are those of the author.