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

Research

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.

PhD supervisees

• Michael Banks

Teaching

• Tutorials
• Algorithms and Data Structures (ADS)
• Formal Specification of Systems (FSS)
• Semantics of Programming Languages (SEM)
• Lexical and Syntactical Analysis (practical sessions only)
• Computer Science Writing (CSW) — LaTeX lecture

Administration

• Chair of the Board of Studies, including:
  • Departmental Representative to Forum for the Enhancement of Learning and Teaching (FELT).
• UCAS day companions' talks

Administrative tasks I no longer hold

• Editor of the Computer Science Taught Course Students' Handbook
• Departmental differently abled coördinator.
• Secretary to the Departmental Teaching Committee
• Higher Education Summer School Coördinator.
• Secretary to the Joint Board of Studies in Computer Science and Mathematics.
• Departmental library monitor.
• Departmental representative to the alumnus committee.
• Admissions tutor
• Principal UCAS Interview Day panelist.
• Seminar organiser