— Roy L. Crole M.A. M.Math. Ph.D. (Cambridge), FHEA
Associate Professor in Computer Science
G10 Informatics Building|
Department of Informatics,
University of Leicester,
T: +44 (0)116 252 3404
F: +44 (0)116 252 3604
E: R.Crole at le dot ac dot uk
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 currently am
an Associate Professor in the School of Computing and Mathematical
Sciences at Leicester.
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.
Areas of Expertise:
Category Theory; Categorical Type Theory; Logic; Mechanized Reasoning;
Semantics of Programming Languages.
Research Themes: Here is an
overview of my research, and detailed descriptions of research themes.
Publications, Notes and Articles:
HTML listing with downloadable files and BibTeX entries.
Lecture and Course Material:
You can look at some of my postgraduate and undergraduate
courses and notes.
The Midlands Graduate
The Midlands Graduate School (MGS)
in the Foundations of Computing Science was established in 1999 by the
Universities of Birmingham, Leicester and Nottingham; I was Director
from 2014 to 2018. An annual Spring School is held over five days
during the Easter vacation period, and comprises a series of courses
on introductory, advanced, and emerging topics in the mathematical
foundations of computing. Its purpose is to educate and train future
leaders in Computing Science. We also run the MGS Christmas seminars,
consisting of an afternoon of research talks by both midlands and
memberships and fellowships.
- 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.
- Long running historical modules have included
- In the past I have lectured on Denotational Semantics, Logic
and Discrete Structures, Game Theory (MSc), Modal Logic, Operational Semantics,
Theory of Functional Programming, Practice of Functional
Programming and Study Skills and Professional Practice (BSc).
- I regularly supervise third year BSc projects.
- 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). From Summer 2018 to 2021
I was Deputy Head of School.
- My previous positions have included leadership roles such as
Academic (Teaching and Learning) Director; Undergraduate
Admissions Coordinator; Chair of the Teaching Committee, and of
the Curriculum Committee; 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; Director of Part Time
Teaching; and QAA Coordinator.
I've been actively involved in,
sometimes chairing, a large range of School and University working
groups, and held a number of other School positions over many
- I was the School Professional Accreditation Officer from 1998
to 2018. Our Undergraduate degrees are accredited up to and
including 2023 entry, folllowing a successful 2018 Accreditation
visit. I lead the 1998, 2003, 2008, 2013 visits, and supported
the 2018 visit.