Teaching

Courses I supervised and taught before joining Google.

Cambridge, Computer Science Tripos

• Part IA: AlgorithmsLent 2016
• Part II: Advanced AlgorithmsEaster 2015
• Part IB: Complexity TheoryEaster 2015
• Part IA: AlgorithmsLent 2015
• Part IB: Computation TheoryLent 2015
• Part IB: Complexity TheoryEaster 2014
• Part IA: Discrete MathematicsLent 2014
• Part IB: Computation TheoryLent 2014
• Part IB: Algorithms IIMichaelmas 2013
• Part IB: Complexity TheoryEaster 2013
• Part IB: Computation TheoryLent 2013
• Part IB: Algorithms IIMichaelmas 2012

Imperial College London, teaching assistant

• Reasoning about ProgramsSpring 2011
• LogicAutumn 2010