Teaching

Nick’s teaching at the University of Warwick (before moving to HP) has included lectures for CS406 Research Directions in Computing and seminars for CS134 Introduction to Computer Security.

Nick was Teaching Assistant to Professor Rajagopal Nagarajan for the 4th year module CS406 Research Directions in Computing. He taught a lecture-based mini-course on Lexical and Syntactic Analysis as part of the 2nd year module CS245 Automata and Formal Languages (academic years 2005-6, 2006-7, 2007-8, 2008-9). Lecture notes are available below.

Nick used to give an annual Guest Lecture on Quantum Cryptography for the 1st year module CS134 Introduction to Computer Security(course organiser: Jane Sinclair).

Nick was Teaching Assistant to Sara Kalvala for the module CS238 Concurrent Processes (the course has now become a 1st year module, CS135) during the academic years 2003-2004 and 2004-2005.

Also, he assisted in surgery classes for CS120 Programming Laboratory during the academic year 2003-2004 and was involved in providing feedback and marking coursework for CS237 Concurrent Programming during the academic year 2003-2004.

More information and course notes are available below.

Lectures for CS406 (Lecture Notes below)

Handouts and Slides for Lectures and Seminars

  • CS134 (Introduction to Computer Security) Guest Lecture on Quantum Cryptography [2007-8 version] pdf [446 KB]
  • CS245 (Automata and Formal Languages) Lecture 1 (31/01/2008) – Lexical Analysis. Slides (2-3 per page) pdf [112 KB]
  • CS245 (Automata and Formal Languages) Lecture 2 (01/02/2008)- Top-Down Parsing. Slides (2-3 per page): pdf [111 KB]
  • CS245 (Automata and Formal Languages) Lecture 3 (04/02/2008)- Bottom-Up Parsing. Slides (2-3 per page): pdf [97 KB]
  • CS238 (Concurrent Processes) Seminar 1 – Basics of CCS (agents, actions, synchronisation, semaphores): pdf [186 KB]
  • CS238 (Concurrent Processes) Seminar 2 – CCS Examples (Buffers, Producers/Consumers problem): pdf [203 KB]
  • CS238 (Concurrent Processes) Seminar 3 – CCS Equivalences and Bisimulation. Slides (handwritten): pdf [260 KB]
  • CS406 (Research Directions in Computing) – Revision class on Quantum Cryptography. Slides (handwritten): pdf [1,222 KB]
  • CS406 (Research Directions in Computing) – Notes on Quantum Teleportation and Deutsch’s algorithm: pdf [127 KB]
  • CS406 (Research Directions in Computing) – Introduction to Quantum Cryptography. Lecture, October 2004, Department of Computer Science, University of Warwick. pdf [388 KB]
  • CS406 (Research Directions in Computing) – Quantum Gates and Circuits. Lecture, October 2004, Department of Computer Science, University of Warwick. pdf [328 KB]
  • CS406 (Research Directions in Computing) – Basics of Quantum Computation. Lecture, October 2004, Department of Computer Science, University of Warwick. pdf [199 KB]
  • CS406 (Research Directions in Computing) – Introduction to Quantum Cryptography. Lecture, October 2003, Department of Computer Science, University of Warwick. pdf [781 KB]
  • University of Warwick Open Day Presentation – Introduction to Quantum Computation and Quantum Information,October 2003. pdf [308 KB]

Student Supervision

I supervised two MSc student projects at the University of Warwick, jointly with Siani Pearson. Both students worked on natural language processing tools and techniques for analysis of security and privacy policies.

Thesis supervisor for:

Examiner for: