computer science

	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
  • Along with Daniela Petrisan, I am organised the 2009 Midlands Graduate School.
  • My research.
  • My publications and notes
    • HTML listing with downloadable files.
    • PDF listing.
  • I have published a postgraduate (research) level text book, Categories for Types, with the Cambridge University Press.
  • I regularly give postgraduate level lectures, often at graduate schools.
  • I helped to organise the 2006 Midlands Graduate School and I am the local contact for 2006-2009.
  • I am a member or fellow of various Professional Societies.

• 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.

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.