University of Leicester


STAFF — Dr. Michael Abbott BA (Cambridge), PhD (Leicester)

Research Associate
Computer Science Building
Department of Informatics,
University of Leicester,
University Road,
LE1 7RH.

T: +44 (0)1235 205374
E: michael <@>


From 2000 to 2003 I have worked with Dr.Neil Ghani on the topics in my PhD thesis ("Categories of Containers") at the University of Leicester, and from the end of 2001 to 2003 I also worked with Dr.Thorsten Altenkirch. This fruitful collaboration has allowed me to combine the strengths of category theory with type theory to develop a nice functorial semantics for polymorphic types.

From May 2003 to May 2004 I a worked with Dr.Vincent Schmitt on applications of enriched category theory to computer science (EPSRCGR/R63004/01).


I graduated from Cambridge University in 1980 with a First Class Honours in Computer Science and Mathematics and spent three years of postgraduate study at the Cambridge University Computer Laboratory; I then abandoned this study and started work as a software developer. From 1984 to 1988 I worked at Pye Unicam (a Philips company subsequently absorbed into Thermo ONIX) and Meta Machines (a defunct Oxford robotics startup) before working at RCP Consultants from 1988 to 2002. A commercially oriented version of my CV can be found in PostScript and PDF formats.

After starting part time PhD studies with Neil Ghani in 2000 I took redundancy from RCP in 2002 and have subsequently concentrated on academic research.


  • Michael Abbott, Thorsten Altenkirch, Neil Ghani, "Categories of Containers" in FOSSACS '03, LNCS 2620. Available as .ps, .pdf.
  • Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride, "Derivatives of Containers" in TLCA '03, LNCS 2701. Available as .ps, .pdf
  • "Categories of Containers", PhD Thesis submitted August, examined October 2003. Available as: .ps (830K), .ps.gz (276K), .pdf (638K). An abstract is available in HTML format. A collection of errata is also available for this theisis. Examined by Alexander Kurz and John Power.
  • Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride, "∂ for Data; Differentiating Data Structures", submitted for publication Fundamenta Informatica. Available as .ps.
  • Michael Abbott, Thorsten Altenkirch, Neil Ghani, "Representing Nested Inductive Types using W-types", accepted for ICALP 2004. Available as .ps.
  • Michael Abbott, Thorsten Altenkirch, Neil Ghani, "Constructing Polymorphic Programs with Quotient Types", accepted for MPC 2004. Avaliable as .ps.
  • Michael Abbott, Thorsten Altenkirch, Neil Ghani, "Containers: Constructing Strictly Positive Types", submitted for publication. Avaliable as .pdf, .ps.
| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Dr. Michael Abbott (michael <@>, T: +44 (0)1235 205374.
University of Leicester 1st September 2003. Last modified: 8th July 2004, 11:46:55.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.