Peter Sewell

Teaching

• The 2015-16 Part 1B Semantics of ProgrammingLanguages course.
• The 2015-16 Multicore Semantics and Programming (R204) ACS MPhil module The 2014-15 Part 1B Semantics of Programming Languages course.
• The 2014-15 Multicore Semantics and Programming (R204) ACS MPhil module
• The 2013-14 Part 1B Semantics of Programming Languages course.
• The 2013-14 Multicore Semantics and Programming (R204) ACS MPhil module
• The 2012-13 Multicore Semantics and Programming (R204) ACS MPhil module
• The 2011-12 Multicore Semantics and Programming (R204) ACS MPhil module
• The 2010-11 Multicore Programming (R204) ACS MPhil module
• Some 2010-2011 Part II and MPhil project suggestions.
• The 2009-10 Advanced Topics in Programming Languages (R04) ACS MPhil module.
• The 2009-10 Part 1A Discrete Mathematics I course.
• Some 2009-2010 Part II project suggestions.
• The 2008-09 Part 1A Discrete Mathematics I course.
• The 2008-09 Part 1B Semantics of Programming Languages course.
• The Design of Distributed Programming Languages, graduate lectures, Summer 2006.