# Teaching assistance

## Current

–

## Previous

- Cryptography - Autumn 2013 and 2014
- Functional programming - Autumn 2013 and 2014
- Logic in computer science - Autumn 2012 and 2013
- Introduction to functional programming - Autumn 2008, 2009, 2010, 2011, 2012 and 2013
- Artificial intelligence - Spring 2011, 2012 and 2013
- Mathematical modeling and problem solving - Spring 2011, 2012 and 2013
- Programming language technology - Spring 2009
- Computer system engineering - Spring 2008
- Linear algebra (supplemental instructor at the computer engineering program at Chalmers) - Autumn 2008
- Calculus (supplemental instructor at the computer engineering program at Chalmers) - Spring 2007 and 2008

# Bachelor thesis supervision

- Formalization of Algorithms and Mathematical Proofs - Jesper Andersson, Åsa Lideström, Daniel Oom, Anders Sjöberg and Niclas Ståhl implemented and formally verified an implementation of the Took-Cook algorithm for efficient polynomial multiplication using Coq and SSReflect.