
I currently have no teaching responsibilities.
Available teaching-related downloads include the following:
These are freely available for re-use and modification under the Creative Commons license, Attribution 3.0 Unported.
Other areas of teaching, at various institutions, have included Logic (propositional, predicate, categorical), LaTeX, Game Semantics, Java, Category Theory, Artificial Intelligence, Maple & Matlab, Program Verification, Automata Theory, 68000 Assembler, Parallel Computing, Web-authoring, Introductory Computing, Discrete Mathematics, Mathematics for Computer Scientists.