People

Dr Roy Crole

Associate Professor

School/Department: Computing and Mathematical Sciences, School of

Telephone: +44 (0)116 252 3404

Email: rlc3@leicester.ac.uk

Profile

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.

As well as information on this page, please see 

https://www.cs.le.ac.uk/people/rcrole/

Research

I develop the semantics and implementations of (meta) languages for programming computation and data science. 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.

Publications

The Nominal/FM Yoneda Lemma. Mathematical Structures in Computer Science, 30:1011--1024, 2021. 

Supervision

Semantics of programming languages. Applied category theory. Data Science.

Teaching

I currently teach the modules

  • Computer Architecture CO1104.
  • Functional Programming CO3111.

Press and media

Programming semantics.

Back to top
MENU