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

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

  • COCO: Computability and Complexity (Dr. Detlef Plump)
  • 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)
  • SYAC: Systems and Compilers (Dr. Matthew Naylor)

This page was last modified on 9 July 2013, at 13:59. This page has been accessed 7,098 times.

  
Powered by MediaWiki