ABOUT |
CollaborationFrom 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). HistoryI 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. Publications
|
|
Author: Dr. Michael Abbott (michael <@> araneidae.co.uk), T: +44 (0)1235 205374. |