computer science

• 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 a member of the Department of Computer Science.
• 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 accompanied by rigourous semantics that support reasoning about programs. Another key motivation is to better understand the behaviour of existing languages, and how they might be improved. 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.
  • PDF bibliographic listing.
  • Lecture and Course Material: You can look at some of my postgraduate and undergraduate courses and notes.
  • The Midlands Graduate School: The Midlands Graduate School (MGS) in the Foundations of Computing Science was established in 1999. 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 invited speakers.
    • The next Midlands Graduate School, in April 2013, will be held in Leicester, organised by Alexander Kurz. Places are still available, so please join us!
    • The 2006 Midlands Graduate School, and the 2009 Midlands Graduate School took place in Leicester.
  • Professional Societies: See my memberships and fellowships.

• Teaching
  • Recent modules have included
    • Study Skills and Professional Practice (BSc)
    • Computer Systems (BSc)
    • Game Theory (MSc)
  • 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 and MSc projects.

• Administration
  • I have held a wide range range of posts within the Department, and also the Faculty of Science (to 2010) and currently the College of Science and Engineering (2010 onwards).
  • These positions have included 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 am the Departmental Professional Accreditation Officer, and was responsible for the Department's BCS Accreditation visits in 1999, 2003 and most recently in 2008. The next accreditation is in 2013.

• Roy L. Crole:

• Research
• Overview and Themes
• Publications

• Midlands Graduate School
• MGS 2013 - places available now !!
• Lectures on Operational Semantics

• Lecture and Course Material
• Lectures, Courses and Exercises

• Veska
• Memories

• Up: MCS People

Author: Roy L. Crole (R.Crole at mcs dot le dot ac dot uk), T: +44 (0)116 252 3404.
© University of Leicester. Last modified: 11th March 2013, 12:10:13.
CS Web Maintainer. Any opinions expressed on this page are those of the author.