Chris Poskitt
/ Teaching

Teaching Award

• Vice-Chancellor's Teaching Award
  The University of York, 2011

  "For his motivated and meticulous approach to teaching and giving feedback on student work; and his effectiveness as an advocate for undergraduate and research students and for other postgraduate tutors."

Professional Development and Recognition

• Associate of the Higher Education Academy (AHEA) since 2011
  
  
• Completed the Preparing Future Academics Programme at The University of York, 2011

Teaching at ETH Zürich

• Autumn 2013: Software Verification
  
  
• Spring 2013: Seminar: Research Topics in Software Engineering

Lecturing at the University of York

• Mathematical Foundations of Computer Science (Formal Languages and Automata)
  Summer 2012 (four lectures, running problem classes, and setting/marking the exam)
  Resources:
  • C.M. Poskitt: MFCS 2012 Lecture Notes: Formal Languages and Automata

Other Lecturing

• Headstart 2012
  Lecture title: Alan Turing's Legacy: Computation and its Limits
  Pre-university summer school at the Department of Computer Science, The University of York. 10-13 July, 2012.

• PGWT (PostGraduates Who Teach) Residential
  Lecture title: What it's really like: Thoughts from an "experienced" PGWT
  Residential for training new postgraduate teaching assistants at the Fairfield Manor Hotel, York. Organised by the Researcher Development Team, The University of York. 14-15 September, 2011.

• Headstart 2011
  Lecture title: Alan Turing's Legacy: Computation and its Limits
  Pre-university summer school at the Department of Computer Science, The University of York. 12-15 July, 2011.

Teaching Assistant at the University of York

2011-12

• Computability and Complexity
  Demonstrating, Marking

• Mathematical Foundations of Computer Science
  Lecturing, Running Problem Classes, Exam Marking

2010-11

• Computing by Graph Transformation
  Demonstrating, Marking

• Discrete Mathematics Refresher
  Demonstrating

• Mathematical Foundations of Computer Science
  Demonstrating, Marking

• Numerical Analysis
  Leading Seminars, Marking

• Theory of Computation
  Demonstrating, Marking

2009-10

• Computer Science Writing
  Demonstrating, Marking

• Computing by Graph Transformation
  Demonstrating, Marking

• Logic Programming and Artificial Intelligence
  Demonstrating

• Lexical and Syntax Analysis of Programming Languages
  Demonstrating, Writing Class Feedback, Preparing Exam

• Mathematics for Computer Science
  Leading Seminars, Marking

• Theory of Computation
  Demonstrating, Marking