The University of York
/Department of Computer Science
/Jeremy Jacob


I am a member of the Programming Languages and Systems group and the security special interest group.

I am starting to make various papers available.

Alan Wood and I have been working on applications of category theory. As (an ongoing) part of this I have coded parts of category theory in Haskell.



Administrative tasks I no longer hold

Jeremy Jacob / +44 1904 43 2747 / <>.
Approved as XHTML 1.1 by the W3 Consortium; for accessibility by Hermish as passing AAA and US Section 508; and as suitable for all varieties of colour-blind people by colorfilter.