Teaching

Present

I am currently a lab/tutorial assistant for the following courses at UCL:

• Object-Oriented Programming (COMP103P)
• Theory II (COMP104P)

I am also currently supervising group projects for COMP103P

Past

At UCL, I have been a tutorial assistant on the following courses:

• Theory I (COMP102P)
• Theory II (COMP104P)
• Logic and Database Theory (COMP202P)

At Imperial College, I have taught the following courses:

• Object-Oriented Design & Programming (CO517)
• Integrated Programming Lab (CO550)
• Software Engineering Practice (CO550)

At Imperial College, I have been a tutorial assistant on the following courses:

• Reasoning About Programs (CO141)
• Models of Computation (CO240)
• Advanced Issues in Object-Oriented Programming (CO471)

Supervision

• Alexander Bates (MEng 2014) – Structural Types for the Factorisation Calculus
• Other students: Vincenzo Pasca (MSc 2013)