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

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 (EPSRC GR/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.

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