Teaching

This page summarises lecturing undertaken and courses offered by members of the PLASMA group at York.

Note: some modules are co-taught by lecturers outside of the group (which are not listed).

2013/14

• COCO: Computability and Complexity (Professor Colin Runciman)

• GRAT: Computing by Graph Transformation (Dr. Detlef Plump)

• MFCS: Mathematical Foundations of Computer Science (Professor Colin Runciman)

• MFIT: Mathematics for Information Technology (Dr. Alan Wood)

• PCOC: Programming: Correctness by Construction (Dr. Jeremy Jacob)

• POPL: Principles of Programming Languages (Dr. Alan Wood)

• SYAC: Systems and Compilers (Dr. Jeremy Jacob)

2012/13

• COCO: Computability and Complexity (Dr. Detlef Plump)

• GRAT: Computing by Graph Transformation (Dr. Detlef Plump)

• MFCS: Mathematical Foundations of Computer Science (Professor Colin Runciman)

• MFIT: Mathematics for Information Technology (Dr. Alan Wood)

• PCOC: Programming: Correctness by Construction (Dr. Jeremy Jacob)

• POPL: Principles of Programming Languages (Dr. Alan Wood)

• SYAC: Systems and Compilers (Dr. Jeremy Jacob, Professor Colin Runciman)

2011/12

• CGO: Code Generation and Optimisation (Dr. Matthew Naylor)

• COCO: Computability and Complexity (Dr. Detlef Plump)

• FSS: Formal Specification of Systems (Dr. Jeremy Jacob)

• MFCS: Mathematical Foundations of Computer Science (Dr. Detlef Plump, Chris Poskitt, Professor Colin Runciman)

• MFIT: Mathematics for Information Technology (Dr. Alan Wood)

• POPL: Principles of Programming Languages (Dr. Alan Wood)

• SEM: Semantics of Programming Languages (Dr. Jeremy Jacob)

• SYAC: Systems and Compilers (Dr. Matthew Naylor)