Teaching
From The Programming Languages and Systems Research Group
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)